Proper map

Given topological spaces $X$ and $Y$, a map $f:X\to Y$ is called proper if for every compact set $U\subset Y$ the preimage $f^{-1}(U)$ is compact in $X$.