University of California, San Diego: Edward Bender and S. Williamson's "Arithmetic, Logic and Numbers, Unit SF: Sets and Functions"

Read pages SF-9 through SF-11 to learn about subsets of sets. This text also is useful for learning how to prove various properties of sets.