эффективный эпиморфизм

Мат. effective epimorphism