Symmetric Difference with Empty Set

Theorem

 * $S * \O = S$

where $*$ denotes the symmetric difference.