Set Difference is Subset

Theorem
$$S - T \subseteq S$$