идеал полугруппы

Мат. ideal of semigroup