Set is Subset of Intersection of Supersets/Proof 1

Proof
Let $S \subseteq T_1 \land S \subseteq T_2$.

Then: