Set Difference is Subset

Theorem
Set difference is a subset of the first set:


 * $$S \setminus T \subseteq S$$

Proof 1
$$ $$

The result follows from the definition of subset.

Proof 2
$$ $$