f(a_1) = f(a_2) \leftrightarrow a_1 = a_2