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
☺