Dada una estructura algebraica sobre un conjunto formula_1, y con una operación o ley de composición interna binaria: "formula_2".