Symmetric Difference with Self is Empty Set

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

$$S * S = \varnothing$$

Proof
This follows directly from Symmetric Difference of Equal Sets: $$S * T = \varnothing \iff S = T$$, substituting $$S$$ for $$T$$.