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