in der Literatur nicht ganz einheitlich gebrauchter Begriff aus der Mengenlehre:

Ist Y ⊆ X, so erklärt man meist X zur Grundmenge. In diesem Fall bezeichnet man die Menge \begin{eqnarray}X\,\backslash\,Y\,\text{:}=\,\{x\,\in \,X\,\,:\,\,x\,\notin \,Y\}\end{eqnarray} mit Y^c und nennt sie die Komplementärmenge von Y bezüglich der Grundmenge X (Verknüpfungsoperationen für Mengen).