Symmetric Difference is Subset of Union

Theorem
The symmetric difference of two sets is a subset of their union:


 * $S \symdif T \subseteq S \cup T$