Symmetric Difference with Complement

Theorem
$$S * \mathcal{C} \left({S}\right) = \mathbb{U}$$