Relative Complement Mapping on Powerset is Bijection

Theorem
Let $S$ be a set.

Let $\complement_S: \powerset S \to \powerset S$ denote the relative complement mapping on the power set of $S$.

Then $\complement_S$ is a bijection.

Thus each $T \subseteq S$ is in one-to-one correspondence with its relative complement.