semigroup (Q207348)
algebraic structure with an associative binary operation
Language: