e/Proper map

Information
has gloss	eng: In mathematics, a continuous function between topological spaces is called proper if inverse images of compact subsets are compact. In algebraic geometry, the analogous concept is called a proper morphism.
lexicalization	eng: Proper map
instance of	c/Continuous mappings

Meaning
German
has gloss	deu: Eine eigentliche Abbildung ist eine stetige Abbildung, die in der mengentheoretischen Topologie, einem Teilgebiet der Mathematik, untersucht wird.
lexicalization	deu: eigentliche Abbildung