Differenzmenge (Mengenlehre)

die Menge aller Elemente einer Menge A, die nicht zur Menge B gehören, geschrieben A∖B = {x : x ∊ A ∧ x ∉ B}.