# closed immersion

> morphism of schemes f: X → Y such that the induced morphism from the structure sheaf of Y to its pullback onto Y is surjective; equivalently, one that can be defined by a quasicoherent sheaf of ideals

**Wikidata**: [Q5135342](https://www.wikidata.org/wiki/Q5135342)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Closed_immersion)  
**Source**: https://4ort.xyz/entity/closed-immersion