Set Difference with Self is Empty Set

Theorem
$$S - S = \varnothing$$