La función g (inversa de f) cuyo dominio es el campo de f y cuyo campo es el dominio de f; al componer ambas funciones resulta la identidad: la función recíproca asociada a una función invertible.