De Morgan's Laws (Set Theory)/Relative Complement/Complement of Union/Proof 1

Proof
Let $T_1, T_2 \subseteq S$.

Then from Union is Smallest Superset:


 * $T_1 \cup T_2 \subseteq S$

Hence: