El elemento formula_70 aludido en la definición anterior se llama inverso de formula_40 y es único, pues si formula_89 es otro inverso de formula_40, entonces formula_91.