Monoid

- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
A set with an associative binary operation that has an identity element, but whose elements need not have inverses.

Monoid

- Pure Mathematics -
Algebra Dictionary
Definition
A semigroup equipped with an identity element; a monoid is a set with an associative binary operation and a neutral element 1 such that 1·a = a·1 = a for all a.