Empty Intersection iff Subset of Complement/Proof 2

Proof
From Intersection with Complement is Empty iff Subset
 * $S \subseteq T \iff S \cap \relcomp {} T = \O$

Then we have:

Thus: