A

David

Darling

semigroup

A semigroup is a set together with a method of combining elements, such as addition or multiplication, to get new ones, which satisfies only some of the properties required to get a group. In particular, a semigroup need not have an identity element and elements need not have inverses.