De Morgan's Laws (Set Theory)/Relative Complement/Complement of Intersection

Theorem
Let $S, T_1, T_2$ be sets such that $T_1, T_2$ are both subsets of $S$.

Then, using the notation of the relative complement:
 * $\complement_S \left({T_1 \cap T_2}\right) = \complement_S \left({T_1}\right) \cup \complement_S \left({T_2}\right)$

Proof
Let $T_1, T_2 \subseteq S$.

Then from Intersection is Subset and Subset Relation is Transitive:
 * $T_1 \cap T_2 \subseteq S$

Hence: