semigroup noun1 •Any set for which there is a binary operation that is closed and associative.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. — 1961 formssemigroups
