Relative Complement of Empty Set

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


 * $\relcomp S \O = S$

Also see

 * Relative Complement with Self is Empty Set