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$