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

Мат. abstract semigroup