Set difference ($A\setminus B$)

The difference consists of the elements of $A$ not belonging to $B$. In ZF it exists by axiom schema of separation. It gives complements relative to a fixed tuple domain in finite relation closure for set-theoretic coding.