Definición 1.29: Sea formula_1 un grupo y formula_9 un subgrupo de formula_1.