The Stacks project

Proof. We have (1) $\Rightarrow $ (2) by Topology, Lemma 5.19.2. Assume (2). Let $U \subset S$ be an affine open. It suffices to prove that $f(X) \cap U$ is closed. Since $U \cap f(X)$ is stable under specializations in $U$, we have reduced to the case where $S$ is affine. Because $f$ is quasi-compact we deduce that $X = f^{-1}(S)$ is quasi-compact as $S$ is affine. Thus we may write $X = \bigcup _{i = 1}^ n U_ i$ with $U_ i \subset X$ open affine. Say $S = \mathop{\mathrm{Spec}}(R)$ and $U_ i = \mathop{\mathrm{Spec}}(A_ i)$ for some $R$-algebra $A_ i$. Then $f(X) = \mathop{\mathrm{Im}}(\mathop{\mathrm{Spec}}(A_1 \times \ldots \times A_ n) \to \mathop{\mathrm{Spec}}(R))$. Thus the lemma follows from Algebra, Lemma 10.41.5. $\square$