Estos tres son semigrupos abelianos,