Zu einer Teilmenge ${\displaystyle {}T\subseteq M}$ in einer Menge ${\displaystyle {}M}$ heißt

${\displaystyle {}M\setminus T={\left\{x\in M\mid x\not \in T\right\}}\,}$

das Komplement von ${\displaystyle {}T}$ (in ${\displaystyle {}M}$).