Definición 1.25: Sea formula_1 un grupo y formula_2 un subgrupo de formula_1.