Set is Subset of Union

Theorem
The union of two sets is a superset of each:


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

Proof
Similarly for $T$.