Es sei M eine Menge. Für X ⊆ M sei stets C(X) das Komplement von X bez. M. Zeigen Sie, daß für beliebige Teilmengen X,Y,Z ⊆ M gilt:
C(X ∪ Y ) = C(X) ∩ C(Y ),
C(X ∩ Y ) = C(X) ∪ C(Y ),
C(X) \Y = C(X ∪ Y ),
X \(Y ∪ Z) = X ∩ C(Y ∪ Z) = (X \Y ) ∩ (X \Z) = X ∩ C(Y ) ∩ C(Z).