Sea formula_5 un formula_1-conjunto, formula_40 un subgrupo de formula_126 y un formula_1-mor\-fismo formula_54 de formula_102 en formula_5 tal que formula_119 ssi, formula_132 Dicha aplicación es un formula_1-isomorfismo cuando formula_134 Es decir, como formula_1-conjuntos son isomorfos formula_98 y formula_137 (la órbita de formula_52).