бесконечная полугруппа

Мат. infinite semigroup