Vocabulary
固有射
こゆうしゃ
proper map; map such that the inverse image of a compact set is compact
noun