свободная полугруппа

Мат. free semigroup