Por ser biyectiva por definición, podemos encontrar una aplicación inversa formula_21 de forma que su composición genera la aplicación identidad.