University of California, San Diego: Edward Bender and S. Williamson's "Sets, Equivalence and Order: Sets and Functions"

Study Theorem 1, on pages SF-2 and SF-3, on the commutative laws: A  \cap  B = B  \cap  A, A  \cup  B = B  \cup  A. Prove the commutative laws.