Item 0.4.19.a.
\(f\) is injective but not surjective.
in-context