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$

Indexed Family of Sets
In the context of a family of sets, the result can be presented as follows:

Proof
Similarly for $T$.