Definition diff_eq

Definition. diff_eq
A \ B = {x | x ∈ A ∧ ¬x ∈ B}

The difference of two classes is the class containing every element that appears in the first one, but not in the second one.