Empty Intersection iff Subset of Complement

Theorem
$$S \cap T = \varnothing \iff S \subseteq \mathcal{C} \left({T}\right)$$