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

Theorem
Let $T_1, T_2$ be subsets of a universe $\mathbb U$.

Let $\overline T_1$ denote the set complement of $T_1$.

Then: