Empty Intersection iff Subset of Complement

Corollary to Intersection with Complement is Empty iff Subset

 * $S \cap T = \O \iff S \subseteq \relcomp {} T$

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