idempotent-free semigroup

Мат. полугруппа без идемпотентов