Begriff aus der Mengenlehre.

Für zwei Mengen A und B heißt die Menge \begin{eqnarray}A\backslash B:=\{a\in A:a\notin B\},\end{eqnarray} die aus allen Elementen von A besteht, die nicht in B liegen, Restmenge.

Siehe auch Verknüpfungsoperationen für Mengen.