Theorem 1.10: Let A be a set. Then

Proof: We have

by Theorem 1.3. For the other inclusion, let

Then

hence, by Definition 1.4

so

Since we have inclusion both ways, we have

by Definition 1.2.