semigroup

noun

A set for which there is a binary operation that is closed and associative.

noun

Any set for which there is a binary operation that is both closed and associative.