Empty Mapping is Injective

Theorem

Let $\nu: \O \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.

$\blacksquare$