The following function is not injective:
because [math]f(b) [/math] and [math]f(c) [/math] are both 2 (but [math]b \neq c [/math]).
