Free Monoid Definition

noun

A monoid whose underlying set is the Kleene closure of some set of generators, and whose operator is concatenation .

Wiktionary