Definición 1.29: Sea formula_24 un grupo y formula_424 un subgrupo de formula_24.