Dada una función "h" : "A" → "B", la función inversa, identificada como "h", se define como "h" : "B" → "A" es una función tal que