\begin{definition}[Definition:Free Semigroup]
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'''.
{{wtd|add formal definition}}
Category:Definitions/Semigroups
\end{definition}