Definizione intensiva ed estensionale di insiemi

Question

Sto cercando una definizione estensiva per il seguente set:

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

La mia idea è

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

qualche idea?

Answer 1

La maggior parte dei set di tempo non sono ordinati e non contengono elementi duplicati. Quindi la risposta dipende davvero da come si definiscono i set. Se i set non possono contenere duplicati, allora {a,a} è davvero {a}, e così |{a,a}| = 1

Quindi il mio consiglio per te è guardare indietro sul modo in cui i set sono definiti per il tuo compito particolare e se l'ordine e/o i duplicati contano per la tua definizione particolare. Il più delle volte non lo fanno, ma nel tuo caso potrebbero.