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$.