Set Difference is Subset

Theorem
Set difference is a subset of the first set:


 * $$S - T \subseteq S$$

Proof
$$ $$