Set Difference Equals First Set iff Empty Intersection

Theorem

 * $S \setminus T = S \iff S \cap T = \O$

Proof
Assume $S, T \subseteq \Bbb U$ where $\Bbb U$ is a universal set.