Definition Ist B eine Teilmenge von A so nennt man A\B das Kompliment von B in A und schreibt dafür ∁B.
