Empty Mapping to Empty Set is Bijective

Theorem
Let $\nu: \varnothing \to \varnothing$ 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.