Zu einer Teilmenge T ⊆ M {\displaystyle {}T\subseteq M} in einer Menge M {\displaystyle {}M} heißt
das Komplement von T {\displaystyle {}T} (in M {\displaystyle {}M} ).