Teoremi di De Morgan

[marco955]

Ho un dubbio da esporvi riguardo ai teoremi di De Morgan all'interno della teoria degli insiemi.
Essi affermano che
$ (AnnB)^c=(A^cuuB^c)$
$ (AuuB)^c=(A^cnnB^c) $
ma a quanto ho scoperto, A e B non devono per forza essere sottoisiemi di un insieme universo. Infatti vale più in generale anche:
$C-(AnnB)=(C-A)uu(C-B)$
$C-(AuuB)=(C-A)nn(C-B)$

In questo caso, i teoremi di De Morgan vengono ad essere dei casi particolari, in cui A e B risultano sottoinsiemi di C.
Voi che ne pensate?

[Ernesto01]

l'insieme universo è una convenzione, per insieme universo si intende il più grande insieme che voglio considerare che contiene sia A che B. Quindi è una tua scelta arbitraria, e ovviamente il teorema continua a valere. Si è giusto secondo me

[garnak.olegovitc]

@marco955,
lasciando stare le ultime due leggi che hai scritto le quali sono ovvie nella differenza insiemistica, e se ci pensi bene il complementare è una differenza insiemistica.... non mi sembra una grande scoperta!