Dado un conjunto formula_1 en el que se han definido dos leyes de composición interna formula_2.