Definition Suppose and are topological spaces, and is a map . Then is a proper map if the inverse image of every compact subset in of is a compact set in .