Es sei M eine Menge. Für X ⊆ M sei stets C(X) das Komplement von X bez. M. Weiterhin sei S = {Xi : i ∈ I} ein System von Mengen mit Xi ⊆ M. Zeigen Sie:
C ⋃ i∈IXi = ⋂ i∈IC(Xi),
C ⋂ i∈IXi = ⋃ i∈IC(Xi).