idempotent semigroup

Мат. идемпотентная полугруппа