Definition 2.4 (Proper maps):

A map $f : X \longrightarrow Y$ between topological spaces is said to be proper if $f^{-1}(C)$ is a compact subset of $X$ whenever $C$ is a compact subset of $Y$.