Noun
free monoid (plural free monoids) (algebra) A monoid whose underlying set is the Kleene closure of some set of generators, and whose operator is concatenation.