Los semigrupos dotados de elemento neutro además de ser definidos como "semigrupos con elemento neutro" lo son como monoides.