Definición 1.10: Sean formula_1 y formula_2 dos grupos.