Semigroup

Origin

- + group

Noun

1. (mathematics) Any set for which there is a binary operation that is both closed and associative.
• 1961, Alfred Hoblitzelle Clifford, ‎G. B. Preston, The Algebraic Theory of Semigroups (page 70)If a semigroup S contains a zeroid, then every left zeroid is also a right zeroid, and vice versa, and the set K of all the zeroids of S is the kernel of S.

Hyponyms

• monoid
• group