Si formula_3 es además inyectiva, entonces formula_3 es biyectiva, de modo que formula_24 es la imagen de solo un elemento formula_23 de formula_1, y así formula_129 contiene solo a tal elemento formula_23.