Definition:Free Semigroup

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