Monoid

Algebraic structure with an associative operation and an identity element

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. Monoids are semigroups with identity.

From Wikipedia, under CC BY-SA. More on occurri.