Monoid (source code)

= Monoid
{wiki}

A monoid is a <semigroup> with a two-sided identity element.