Union is Commutative

Theorem
Set union is commutative:

$$S \cup T = T \cup S$$