In abstract algebra, a free semigroup over a set is all possible finite sequences constructed from *one* or more of the set’s elements. Unlike free monoids, free semigroups have no identity element and the empty set ε does not exist. Like free monoids, concatenation is the semigroup operation. The free semigroup of a set *A* is denoted *A+*.