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