De Morgan's Laws (Set Theory)/Set Difference/Difference with Intersection/Corollary

Theorem
Let $S, T_1, T_2$ be sets. Suppose that $T_1 \subseteq S$.

Then:


 * $S \setminus \left({T_1 \cap T_2}\right) = \left({S \setminus T_1}\right) \cup \left({T_1 \setminus T_2}\right)$