Item 0.4.7.b.

\(f\) is surjective, since every element of the codomain is an element of the range.