Intersection is Commutative

Theorem
Set intersection is commutative:

$$S \cap T = T \cap S$$