Hola, JAJaBin. Lo primero es distinguir una función de una expresión:

por ejemplo. Una función, aunque sea única, puede tener infinitas representaciones.
Lo que ocurre es que si tienes una función inyectiva

implica

; y

es una función determinada independientemente de como se pueda expresar.
Ahora, con eso, si

y existe

tienes

tal que

implica

, siendo

.
Saludos.