Free semigroup