A monoid is a semigroup with an identity element.
Definition
A Monoid is a structure
consisting a set and a binary operation of such that
- Closure: for all
, - Associative:
- Identity: There exists an identity element
such that for all ,
A monoid that is commutative is known as commutative monoid.