semigroupnsemigrupp(mathematics) Any set for which there is a binary operation that is closed and associative.