y la operación multiplicación, podemos ver que: formula_23 es un monoide