donde la operación en el lado izquierdo de la ecuación (formula_6) es la ley de composición interna en formula_7, y la operación del lado derecho de la ecuación (formula_8) es la ley de composición interna en formula_9.