Ein Komplement einer Menge X ist eine Menge Y, die kein Element enthält, das auch in X liegt. Für eine Menge X gibt es genau ein Komplement. Das Komplement hängt allerdings davon ab, wie viele Elemente in einer Anwendung betrachtet werden. Oft wird ein Möglichkeitsraum Ω festgelegt oder abgegrenzt. Weitere Elemente, die außerhalb des Möglichkeitsraumes Ω liegen, werden nicht weiter betrachtet.
Wenn der Gesamtraum Ω gegeben ist, lässt sich das Komplement von X, X c, so schreiben:
X c = { x / x ∈ Ω ∧ ¬ ( x ∈ X ) }.
a) Beweisen Sie: wenn X ⊂ Y, dann ist Y c ⊂ X c.
b) Beweisen Sie: Wenn X und Y disjunkt sind, ist X ⊂ Y c und Y ⊂ X c.
c) Beweisen Sie: Ω c = 
und c = Ω.
d) Zeichnen Sie das Komplement einer Menge X, wenn X die Punkte eines Kreises und zusätzlich einige wenige weitere Punkte enthält.