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

Proof
Let $x \in S$ througout.

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