See artikkel räägib universaalalgebrast; monoidi üldistuse kohta kategooriate teoorias vaata artiklit Monoid (kategooriate teooria) |
Monoidiks nimetatakse matemaatikas tavaliselt ühe assotsiatiivse binaarse tehtega universaalalgebrat, milles leidub ühikelement.
Monoidi võib veel iseloomustada
Monoid rahuldab kõiki rühma aksioome peale pöördelementide olemasolu. Seetõttu võib öelda, et rühm on pöördelementidega monoid.
Kui monoidi tehe on kommutatiivne, siis on tegu kommutatiivse monoidi ehk Abeli monoidiga.