De Morgan's Laws (Set Theory)/Set Complement/Complement of Union/Corollary

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

Then:
 * $T_1 \cup T_2 = \overline {\overline T_1 \cap \overline T_2}$