Dictionary.com
Thesaurus.com

semigroup

American  
[sem-ee-groop] / ˈsɛm iˌgrup /

noun

Mathematics.
  1. an algebraic system closed under an associative binary operation.


Etymology

Origin of semigroup

First recorded in 1925–30; semi- + group