Definición 1.10: Sean formula_24 y formula_126 dos grupos.