Item 0.4.12.a.
\(f\) is injective, but not surjective (since 0, for example, is never an output).
in-context