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

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: