De Morgan's Laws (Set Theory)/Set Difference

Theorem
Let $S, T_1, T_2$ be sets.

Let:
 * $T_1 \cap T_2$ denote set intersection
 * $T_1 \cup T_2$ denote set union.

Then: