Union is Commutative

Theorem
Set union is commutative:


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

Proof
$$ $$ $$ $$