Proper map (source code)

= Proper map
{wiki}

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