Algebraic structure with an associative operation and an identity element
Abstract
In abstract algebra, a monoid is a set equipped with an associative binary operation and an identity element. For example, the natural numbers with addition form a monoid, the identity element being 0.