„Die Bildung der ''Komplementärmenge'' von einer Teilmenge eines festen Grundbereichs G ist eine einstellige Operation, die jeder Teilmenge von G eine eindeutig bestimmte Teilmenge von G zuordnet.“<ref>{{Lit-Türke: Grundlegende Begriffe der Mathematik}}, Seite 59</ref>
{{K|Mathematik|Mengenlehre}} Menge aller Punkte eines [[Grundbereich]]s, die nicht zur Menge M gehören