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

Proof: To say

is equivalent to saying

by Definition 1.4. This is equivalent to saying

is the same thing as saying

and,

is the same as saying that