Definition of "semigroup"

semigroup