Theorem 2.7: (Transitivity of Inclusion) Let A, B, and C be three sets. If

then

Proof: Let

Then since

But since

and so

by Definition 1.1.