monoid in Czech

(algebra, functional programming) A set which is closed under an associative binary operation, and which contains an element which is an identity for the operation.