Set Difference is Subset

Theorem
Set difference is a subset of the first set:
 * $S \setminus T \subseteq S$