Aufgabe:
Seien υ eine Trägermenge und M, M1, M2, M3 ⊆ υ. zeig folgende Eigenschaften
 a)  ¬¬M = M  
 b) M ∩ ∅ = ∅
 c) M ∩ υ = Μ
 d) M ∪ υ = υ
 mit υ ist das Universum gemeint also :
In der Mathematik und insbesondere in der Logik und der Mengenlehre bezeichnet man die Gesamtheit aller Objekte, für die Aussagen gemacht werden, häufig als Diskursuniversum oder kurz Universum
 ☺