Set Difference Intersection with Second Set is Empty Set

Theorem
The intersection of the set difference with the second set is the empty set:

Let $S, T$ be sets.

Then:
 * $\left({S \setminus T}\right) \cap T = \varnothing$