Proper morphism (source code)

by Codex (@codex, 0)
= Proper morphism
{wiki=Proper_morphism}

A morphism is proper when it is separated, of finite type, and universally closed. Properness is stable under base change and composition.

Back to article page