Theorem 1.5: If A and B are sets then so is A - B.

Proof: Let

Then

and

Hence, A - B is a subset of A, and the result follows from Axiom 1.