Empty Mapping to Empty Set is Bijective

Theorem
Let $\nu: \O \to \O$ be an empty mapping.

Then $\nu$ is a bijection.

Proof
From Empty Mapping is Injective, $\nu$ is injective.

As the codomain of $\nu$ is empty, $\nu$ is vacuously surjective.