Monoid
Monoidiks nimetatakse matemaatikas tavaliselt ühe assotsiatiivse binaarse tehtega universaalalgebrat, milles leidub ühikelement. Monoidi võib veel iseloomustada hulgana, millel on defineeritud assotsiatiivne binaarne algebraline tehe nii, et selles hulgas leidub ühikelement assotsiatiivse rühmoidina, milles leidub ühikelement poolrühmana, milles leidub ühikelement. 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.