Symmetric Difference with Universe

Theorem

 * $\mathbb U * S = \map \complement S$

where:
 * $\mathbb U$ denotes the universe
 * $*$ denotes symmetric difference.