Theorem 1.2: Let A and B be two sets, then

Proof: Let

Then it is true that either

or

so by Definition 1.1

Let

Then it is true that either

or

so by Definition 1.1