monoid (thing)

A monoid is almost a group; it only fails to be a group because every element in a monoid need not have an inverse. A monoid does have an identity element (contrast this with a semigroup).

--back to combinatorics--