Empty Mapping is Injective

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

Then $\nu$ is an injection.

Proof
There are no elements in the domain of $\nu$.

Thus $\nu$ is an injection vacuously.