Definition Suppose $X$ and $Y$ are topological spaces, and $f$ is a map $f:X\to Y$ . Then $f$ is a proper map if the inverse image of every compact subset in $Y$ of is a compact set in $X$ .