Theorem 1.9: Let A be a set. Then

Proof: We have

by Theorem 1.2. For the other inclusion, let

Then by Definition 1.3, either

in either event,

so

Since we have inclusion both ways, we have

by Definition 1.2.