Esto ocurre si y sólo formula_8 si es una aplicación biyectiva, es decir, formula_8, es a la vez monomorfismo y homomorfismo exhaustivo.