Sea formula_158 una función biyectiva, y sea formula_256 otra función biyectiva, tal que formula_257entonces formula_204 se define como la función inversa de formula_163 y se denota por formula_260 (ver figura 10).