En monoid är ett par (M,*), där M är en mängd och * är en binär operator på M, vilken lyder följande regler:

• stängdhet: för alla a, b i M, är a*b i M (detta följer egentligen direkt ur att * är en binär operator, och behöver inte specificeras separat)
• neutralt element: det finns ett element e i M, så att för alla a i M, a*e = e*a = a.
• associativitet: * är en associativ operator; det vill säga, (a*b)*c = a*(b*c) för alla a, b, c i M.

Med andra ord är en monoid en semigrupp med ett neutralt element.

Abstrakt algebra

Monoid | Monoid | Monoid | Monoide | Monoid | Monoidi | Monoïde | מונואיד (מבנה אלגברי) | Monoide | モノイド | Monoïde | Monoid | Monoid | 幺半群