monoid (Q208237)
algebraic structure with an associative operation and an identity element
Language: