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