Je suis à la recherche d'une définition extensionnelle pour l'ensemble suivant:Intensional et la définition des ensembles extensionnelle
E := { m | m subset {a,b,c,d} and |m| = 2}
Mon idée est
E := {{a,b}, {a,c}, {a,d}, {b,c}, {b,d}, {c,d}, {a,a}, {b,b}, {c,c}, {d,d}}
des idées?
La plupart des ensembles de temps sont non ordonnés et ne contiennent pas d'éléments en double. Donc, la réponse dépend vraiment de la façon dont vous définissez les ensembles. Si les ensembles ne peuvent pas contenir des doublons, alors {a,a} est vraiment {a}, et ainsi |{a,a}| = 1
Donc, mon conseil est de vous regarder en arrière sur les ensembles chemin sont définis pour votre affectation particulière et si l'ordre et/ou des doublons d'importance pour votre définition particulière. La plupart du temps ils ne le font pas mais dans votre cas ils le pourraient.