What is the meaning of Free_monoid?

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

Source: wiktionary.org