Relative Complement with Self is Empty Set

Theorem
The relative complement of a set in itself is the empty set:


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

Proof
$$ $$