Symmetric Difference with Self is Empty Set

From ProofWiki
Jump to navigation Jump to search

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

$\blacksquare$


Sources