Item
1.7.17.c
.
\(f(1) \ne a\)
and
\(f(2) \ne b\text{,}\)
and
\(f\)
is injective?
in-context