monoid

Today it means: A set which is closed under an associative binary operation, and which contains an element which is an identity for the operation. Full definition →