Definition:Proper Mapping

Definition
Let $X$ and $Y$ be topological spaces.

A function $f: X\to Y$ is called proper if for every compact subset $K\subset Y$, its preimage $f^{-1}(K)$ is compact.

Also defined as
A proper function is sometimes defined as a closed map such that the preimage of every point is compact.