Symmetric Difference with Universe

Theorem

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

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