Definición 1.14: Sea formula_1 un grupo.