Set is Subset of Union

Theorem
$$S \subseteq S \cup T$$