continuous proper map

Let $X,Y$ be topological spaces and $p: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
Canonical name	ContinuousProperMap
Date of creation	2013-03-22 13:34:22
Last modified on	2013-03-22 13:34:22
Owner	CWoo (3771)
Last modified by	CWoo (3771)
Numerical id	4
Author	CWoo (3771)
Entry type	Definition
Classification	msc 54-00
Synonym	continuous proper function
Synonym	continuous proper