Union of Intersections

Theorem

 * $$\left({S_1 \cap S_2}\right) \cup \left({T_1 \cap T_2}\right) \subseteq S_1 \cup T_1$$

Proof
$$ $$ $$ $$

The result follows from definition of subset.