[IV, Theorem 1.8.4, EGA]

Theorem 29.22.3 (Chevalley's Theorem). Let $f : X \to Y$ be a morphism of schemes. Assume $f$ is quasi-compact and locally of finite presentation. Then the image of every locally constructible subset is locally constructible.

Proof. Let $E \subset X$ be locally constructible. We have to show that $f(E)$ is locally constructible too. We will show that $f(E) \cap V$ is constructible for any affine open $V \subset Y$. Thus we reduce to the case where $Y$ is affine. In this case $X$ is quasi-compact. Hence we can write $X = U_1 \cup \ldots \cup U_ n$ with each $U_ i$ affine open in $X$. If $E \subset X$ is locally constructible, then each $E \cap U_ i$ is constructible, see Properties, Lemma 28.2.1. Hence, since $f(E) = \bigcup f(E \cap U_ i)$ and since finite unions of constructible sets are constructible, this reduces us to the case where $X$ is affine. In this case the result is Algebra, Theorem 10.29.10. $\square$

Comment #6030 by reference_bot on

This is EGA IV, 1.8.4 except that there one also assumes $f$ to be quasi-separated.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).