Definición 1.14: Sea formula_24 un grupo.