Monoid. An algebraic structure with a single associative binary operation and an identity element.