Definición 1.16: Sea formula_24 un grupo y formula_232.