In abstract algebra, the free monoid on a set is the set of all possible finite sequences constructed from zero or more of the set’s elements. The unique set having zero members, denoted ε, is the identity element, and concatenation is the monoid operation. The free monoid of a set *A* is denoted *A**.