Definition:Free Semigroup

A semigroup which has a noncommutative product in which no product can ever be expressed more simply in terms of the other elements is called a free semigroup.