Intersection is Subset of Union

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

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