Complement of Complement

Theorem
The complement of the complement of a set is the set itself:


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

Proof
Substitute $$\mathbb{U}$$ for $$S$$ and $$S$$ for $$T$$ in $$\mathcal{C}_S \left({\mathcal{C}_S \left({T}\right)}\right) = T$$ from Relative Complement of Relative Complement.