A semigroup that possesses an identity element, e. If S is a semigroup on which there is defined a dyadic operation ∘, then
for all elements
x in
S. Monoids play an important role in various areas of computing, especially in the study of formal languages and parsing.