Problemi con l'empty set.
Perchè l'insieme vuoto è contenuto nell'insieme vuoto? Il simbolo di ''contenuto'' non presuppone logicamente che gli insieme abbiano elementi? Quando dico è contenuto, sto dicendo che tutti gli elementi (ma allora questi elementi devono esserci!) del vuoto appartengono al vuoto.
È come se dicessi non è vero che il Re di Francia è morto quando non esiste il Re di Francia.
È come se dicessi non è vero che il Re di Francia è morto quando non esiste il Re di Francia.
Risposte
L'insieme vuoto non appartiene, come elemento, a se stesso. È tuttavia incluso, come sottoinsieme (improprio), in qualunque insieme, incluso l'insieme vuoto stesso. A è un sottoinsieme di B se, come dici, tutti gli elementi appartenenti ad A appartengono anche a B: laddove non c'è nessun elemento, la condizione è banalmente rispettata.