La función inversa se define como la función que mapea cada elemento del rango de la función original a su preimagen en el dominio. Para que una función tenga una inversa, debe ser una función inyectiva, lo que significa que cada elemento en el rango está asociado con un único elemento en el dominio. El dominio de la función inversa es el rango de la función original, y el rango de la función inversa es el dominio de la función original.