Definitions for "Semigroup"
a set equipped with a binary associative operation
a set with a binary operation satisfying the associativity law
a set with an associative binary operation
a collection of objects connected by something like the law of iterated expectations
Keywords:  things, pairs, together, combined, set
a set of things that can be combined together in pairs to make more things