Closed immersion
- For the same-name concept in differential geometry, see immersion (mathematics).
In algebraic geometry, a closed immersion of schemes is a morphism of schemes that identifies Z as a closed subset of X such that regular functions on Z can be extended locally to X. The latter condition can be formalized by saying that
is surjective.