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