Monoid/Definition

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