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.