Semigroup

- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
A set equipped with an associative binary operation but not necessarily possessing an identity element or inverses.

Semigroup

- Pure Mathematics -
Algebra Dictionary
Definition
A set equipped with an associative binary operation; a semigroup need not have an identity element or inverses for its elements.