Proper map

A map between topological spaces with the property that the preimage of every compact is compact

In mathematics, a function between topological spaces is called proper if inverse images of compact subsets are compact. In algebraic geometry, the analogous concept is called a proper morphism.

It is possible to generalize the notion of proper maps of topological spaces to locales and topoi, see (Johnstone 2002).