Lemma 27.2.5. Let $X$ be a quasi-compact and quasi-separated scheme. Any locally constructible subset of $X$ is constructible.

Proof. As $X$ is quasi-compact we can choose a finite affine open covering $X = V_1 \cup \ldots \cup V_ m$. As $X$ is quasi-separated each $V_ i$ is retrocompact in $X$ by Lemma 27.2.3. Hence by Topology, Lemma 5.15.6 we see that $E \subset X$ is constructible in $X$ if and only if $E \cap V_ j$ is constructible in $V_ j$. Thus we win by Lemma 27.2.1. $\square$

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).