Set Difference is Subset/Proof 1

Theorem
Set difference is a subset of the first set:


 * $S \setminus T \subseteq S$

Proof
The result follows from the definition of subset.