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:
“A certain degree of ceremony is a necessary outwork of manners, as well as of religion; it keeps the forward and petulant at a proper distance, and is a very small restraint to the sensible and to the well-bred part of the world.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)