Theorem 2.2: (Commutativity of Intersections) Let A and B be two sets. then

Proof: To say

is equivalent to saying

or

by Definition 1.4. This is the same as saying either

or

or