Set Intersection Preserves Subsets/Corollary

Theorem
Let $A, B, S$ be sets.

Then:
 * $A \subseteq B \implies A \cap S \subseteq B \cap S$