Free monoid (source code)

= Free monoid
{wiki}

The free monoid on an alphabet consists of all finite words in its letters, including the empty word, under concatenation. Distinct words represent distinct elements.