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

Proof
By definition of set equality:
 * $\overline {T_1 \cup T_2} = \overline {T_1} \cap \overline {T_2}$