Definition
A monoid is a set with an associative binary operation and identity element.
(i.e. a semigroup with identity; also c.f. group, which additionally has an inverse element)
References
- https://en.wikipedia.org/wiki/Monoid
- https://www.bananaspace.org/wiki/幺半群