free monoid

Noun

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