proper morphism

Мат. собственный морфизм