Let $(X,\mathscr{T}_{X})$ and $(Y,\mathscr{T}_{Y})$ be topological spaces, and let $f:X\to Y$ be a map. The map $f$ is proper if $f^{-1}(K)$ is compact for every compact subset $K\subset Y$.