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$$.