semigroup (group + semi-; half_partial)
Any set for which there is a binary operation that is closed and associative