Empty Intersection iff Subset of Complement

Corollary to Intersection with Complement is Empty iff Subset

 * $S \cap T = \varnothing \iff S \subseteq \complement \paren T$

where:
 * $S \cap T$ denotes the intersection of $S$ and $T$
 * $\varnothing$ denotes the empty set
 * $\complement$ denotes set complement
 * $\subseteq$ denotes subset.