free monoid noun1 •A monoid whose underlying set is the Kleene closure of some set of generators, and whose operator is concatenation. formsfree monoids