entonces el par formula_27 se llama un monoide.