Definition:Proper Mapping

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

A mapping $f: X \to Y$ is proper for every compact subspace $K \subset Y$, its preimage $f^{-1} \sqbrk K$ is also compact.

Also see

 * Proper Mapping from Hausdorff to Compact Hausdorff Space is Continuous