Se dice que un monoide formula_24 es conmutativo si su operación es conmutativa.