Definition:Monoid

Definition
A monoid is a semigroup with an identity element.

Monoid Axioms
The properties that define a monoid can be gathered together as follows:

Also see

 * Monoid is not Empty, because it must at least have an identity element.
 * Identity of Monoid is Unique: in a monoid there is only one identity element.


 * Definition:Monoid Category, modelling monoids in category theory.