Editing Proper map (section)

{{short description|Map between topological spaces with the property that the preimage of every compact is compact}}
{{About|the concept in [[topology]]|the concept in [[convex analysis]]|proper convex function}}

In [[mathematics]], a [[function (mathematics)|function]] between [[topological space]]s is called '''proper''' if [[inverse image]]s of [[compact space|compact subsets]] are compact.{{sfn|Lee|2012|p=610|loc=above Prop. A.53}} In [[algebraic geometry]], the [[analogous]] concept is called a [[proper morphism]].