podemos ver que formula_16 tiene estructura algebraica de monoide: