semigroup(noun) noun1. (mathematics) Any set for which there is a binary operation that is both closed and associative.