Definición intensional y extensional de conjuntos

Question

Estoy buscando una definición extensional para el siguiente conjunto:

E := { m | m subset {a,b,c,d} and |m| = 2}

Mi idea es

E := {{a,b}, {a,c}, {a,d}, {b,c}, {b,d}, {c,d}, {a,a}, {b,b}, {c,c}, {d,d}}

¿algunas ideas?

Answer 1

La mayoría de las veces los conjuntos de tiempo están desordenados y no contienen elementos duplicados. Entonces, la respuesta realmente depende de cómo defina conjuntos. Si los conjuntos no pueden contener duplicados, entonces {a,a} realmente es {a}, y entonces |{a,a}| = 1

Entonces, mi consejo para usted es mirar hacia atrás en la forma en que los conjuntos se definen para su tarea particular y si el orden y/o los duplicados son importantes para su definición particular. La mayoría de las veces no, pero en su caso podrían hacerlo.