Theorem 2.1: (Commutativity of Unions) Let A and B be two sets. then

Proof: To say

is equivalent to saying

or

by Definition 1.3. This is the same as saying either

or

or