Ein Monoid ist eine Halbgruppe mit neutralem Element. Dh. Jede Gruppe ist ein Monoid, aber ein Monoid hat nicht notwendigerweise ein invereses Element.
-> hat es keine inverse Elemente so ist es ein Monoid aber keine Gruppe, da Gruppen mindestens ein invereses Element haben.