Intersection is Subset

Theorem
$$S \cap T \subseteq S$$