. "Proper morphism" . . . "Proper morphism" . "closedness property" . . . . "proper" . "proper morphism" . "proper mapping" . "properness" . . . "Proper morphism#Valuative criterion of properness" .