Union of Intersections

Theorem

 * $\paren {S_1 \cap S_2} \cup \paren {T_1 \cap T_2} \subseteq S_1 \cup T_1$