Als Komplementärmenge einer Teilmenge A der Grundmenge G bezeichnet man die Differenzmenge G − A, d. h. die Menge aller Elemente von G, die nicht zu A gehören (häufig mit Ā, »A quer«, oder auch als A^C bezeichnet).