Semigroup/Definition

An algebraic structure with an associative binary operation.