Lo que yo veo es que como

se tiene que

es sobreyectiva, pero no puedes inferir nada acerca de la inyectividad. En consecuencia, si

fuera NO inyectiva, no existiría la función inversa y habría que dotar de algún significado al símbolo

. Lo que se me ocurre es

tal que

. En dicho caso no es cierto que

. Sólo ocurrirá esto en caso de que

sea inyectiva.