De hecho, estas dos últimas propiedades caracterizan a la función inversa, como muestra la siguiente definición alternativa.