Item 1.7.17.c.

\(f(1) \ne a\) and \(f(2) \ne b\text{,}\) and \(f\) is injective?

in-context