Symmetric Difference with Empty Set

Theorem

 * $S \symdif \O = S$

where $\symdif$ denotes the symmetric difference.