Relative Complement with Self is Empty Set

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


 * $\relcomp S S = \O$

Also see

 * Relative Complement of Empty Set