Empty Mapping to Empty Set is Bijective
Jump to navigation
Jump to search
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.
$\blacksquare$