The Stacks project

Definition 17.13.1. A closed immersion of ringed spaces¹ is a morphism $i : (Z, \mathcal{O}_ Z) \to (X, \mathcal{O}_ X)$ with the following properties:

1. The map $i$ is a closed immersion of topological spaces.

2. The associated map $\mathcal{O}_ X \to i_*\mathcal{O}_ Z$ is surjective. Denote the kernel by $\mathcal{I}$.

3. The $\mathcal{O}_ X$-module $\mathcal{I}$ is locally generated by sections.