Item 0.4.12.c.
\(f\) is injective, but not surjective (10 is not 8 less than a multiple of 5, for example).
in-context