# continuous proper map

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\subseteq Y$ the preimage $p^{-1}(K)$ is compact in $X$.

Title continuous proper map ContinuousProperMap 2013-03-22 13:34:22 2013-03-22 13:34:22 CWoo (3771) CWoo (3771) 4 CWoo (3771) Definition msc 54-00 continuous proper function continuous proper