Consider the following statement: Let f be a function, such that for all a and b in the domain of f, f(a)=f(b) implies a=b. Then the function f has an inverse. Is this statement true or false?