**Proof.**
Assume (1) and (2). By (1) the morphism $f$ is quasi-compact (see Topology, Lemma 5.12.3). Conditions (1) and (2) imply conditions (1) and (2) of Lemma 26.23.7. Hence $f : X \to Y$ is a monomorphism. In particular, $f$ is separated, see Lemma 26.23.3. Hence Lemma 26.24.1 above applies and we conclude that $f_*\mathcal{O}_ X$ is a quasi-coherent $\mathcal{O}_ Y$-module. Therefore the kernel of $\mathcal{O}_ Y \to f_*\mathcal{O}_ X$ is quasi-coherent by Lemma 26.7.8. Since a quasi-coherent sheaf is locally generated by sections (see Modules, Definition 17.10.1) this implies that $f$ is a closed immersion, see Definition 26.4.1.
$\square$

## Comments (0)

There are also: