semigroup: Meaning and Definition of

sem•i•group

Pronunciation: (sem'ē-grp"), [key]
— n. Math.
  1. an algebraic system closed under an associative binary operation.
Random House Unabridged Dictionary, Copyright © 1997, by Random House, Inc., on Infoplease.