Let $X, Y$ be topological spaces and $p\colon X\to Y$ a continuous map. The map $p$ is called continuous proper if for every compact $K\sse Y$ the preimage $p^{-1}(K)$ is compact in $X$ .