Fetching details from the dictionary...
proper map; map such that the inverse image of a compact set is compact