Definitie
M is een monoïde als
- de operatie * een binaire associatieve operatie is
- voor de operatie * een eenheidselement bestaat

Notatie
( M, *, e )

Voorbeeld
(Gehele getallen, +, 0)  want
-  3 + 5 = 5 + 3
-  3 + 0 = 3