is a function inverse to f. Note that (not necessarily in your problem, but in general) for some y there may be several different x such that f(x) = y. In this case, it is not clear to which of those x the inverse function should map y. Therefore, the concept of inverse function is unambiguous only if the original function is injective.