A Semigroup with a noncommutative product in which no Product can ever be expressed more simply in terms of other Elements.
