Definition 1.1.24.  Let U be a set, S, T ⊆ U. We define:
S ∖ T := {x ∈ U : x ∈ S and x ∉ T} = {x ∈ S : x ∉ T}
Equality.  No proof.
References.