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$$

Proof 1
$$ $$ $$

Proof 2
$$ $$