Symmetric Difference with Self is Empty Set

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


 * $S \symdif S = \O$

Proof
This follows directly from Symmetric Difference of Equal Sets:
 * $S \symdif T = \O \iff S = T$

substituting $S$ for $T$.