Answer:
Such an a exists, because f is onto, and there is only one such element a because f is one-to-one. Therefore, f−1 is a well-defined function. If a function f is defined by a computational rule, then the input value x and the output value y are related by the equation y=f(x).