Luego formula_5 es semigrupo conmutativo o abeliano.