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