FQM-343 - Semigrupos conmutativos