Intersection is Subset of Union

Theorem
The intersection of two sets is a subset of their union:


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