Un monoide es un magma (i.e. un par (M,*), donde M es un conjunto, y * una operación binaria) que cumple:

• Es cerrada en M, esto es, el resultado de a*b pertenece a M para cualesquiera a y b de M.
• Existe una identidad, esto es, un elemento "e" tal que cumple a*e=e*a=a.
• La operación * es asociativa.

En esencia, un monoide es un semigrupo con elemento unidad. Un monoide abeliano es un monoide conmutativo

Álgebra abstracta Teoría de categorías

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