Theorem 1.3: Let A and B be two sets.

Proof: Let

Then

and