grundlegende Rechenregeln für das Arbeiten mit Komplementmengen, i.w. die Übertragung der Gleichungen von de Morgan auf die Mengenlehre.

Sind X und Y in einer Grundmenge G enthalten, so gelten die de Morganschen Gesetze (X ∩ Y)^c = X^c ∪ Y^cund (X ∪ Y)^c = X^c ∩ Y^c. Hierbei bezeichnet X^cdas Komplement von X in G.