In algebraic geometry, a proper morphism between schemes is a scheme-theoretic analogue of a proper map between complex-analytic varieties.
A basic example is a complete variety (e.g., projective variety) in the following sense: a k-variety X is complete in the classical definition if it is universally closed. A proper morphism is a generalization of this to schemes.
A closed immersion is proper. A morphism is finite if and only if it is proper and quasi-finite.
Read more about Proper Morphism: Definition, Examples, Properties and Characterizations of Proper Morphisms, Proper Morphism of Formal Schemes
Famous quotes containing the word proper:
“Television programming for children need not be saccharine or insipid in order to give to violence its proper balance in the scheme of things.... But as an endless diet for the sake of excitement and sensation in stories whose plots are vehicles for killing and torture and little more, it is not healthy for young children. Unfamiliar as yet with the full story of human response, they are being misled when they are offered perversion before they have fully learned what is sound.”
—Dorothy H. Cohen (20th century)