Set Difference with Disjoint Set

Theorem
Let $S, T$ be sets.

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

where:
 * $S \cap T$ denotes set intersection
 * $\O$ denotes the empty set
 * $S \setminus T$ denotes set difference.