Empty Intersection iff Subset of Complement/Proof 2

Proof
From Intersection with Complement is Empty iff Subset
 * $S \subseteq T \iff S \cap \complement \paren T = \O$

Then we have:

Thus: