Entonces, la función inversa de "f", denotada f, es la función de dominio "J" y codominio "I" definida por la siguiente regla: