proper map
In mathematics, a continuous map for which the preimage of every compact set is compact. Used mainly in topology and algebraic geometry.
The definition of a proper map is given for continuous maps between topological spaces.
In this theorem, it is assumed that f is a proper map.
A topological property; a proper map is defined in terms of compact sets, but 固有射 refers to the map itself, not the property.
Compound of 固有 (こゆう, 'inherent, proper') and 射 (しゃ, 'morphism, map'). The term is a direct translation of the English mathematical term 'proper map'.