proper map

DefinitionSuppose $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 compactsubset in $Y$ of is a compact set in $X$.