Theorem 2.3: (Associativity of Unions) Let A, B, and C be three sets. then

Proof: To say

is equivalent to saying

by Definition 1.3. This is equivalent to saying

is the same thing as saying

and,

is the same as saying that

This will give us containment going both ways, and the sets will be equal by Definition 1.2,