Komplement einer Menge, Teilmenge einer Menge, die eine andere, gegebene Teilmenge zur Gesamtmenge ergänzt.

Ist B eine Teilmenge von A, so besteht die Komplementärmenge von B bezüglich A genau aus allen Elementen von A, die nicht in B liegen. Man schreibt für diese Menge A \ B oder B^c, wenn es aus dem Zusammenhang klar ist, auf welche Menge A man sich bezieht (Verknüpfungsoperationen für Mengen).