 Proper map

A continuous map is proper when inverse images of compact sets are compact. Proper maps induce contravariant maps on compactly supported cohomology.