Definición 1.25: Sea formula_24 un grupo y formula_126 un subgrupo de formula_24.