noun
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.
この定理では、f が固有射であることが仮定されている。
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'.