# Proper map

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).