Set Difference with Self is Empty Set

Theorem
The set difference of a set with itself is the empty set:


 * $$S - S = \varnothing$$

Proof
$$ $$ $$