Lemma 5.15.5. Let $U \subset X$ be a retrocompact open. Let $E \subset U$. If $E$ is constructible in $U$, then $E$ is constructible in $X$.

Proof. Suppose that $V, W \subset U$ are retrocompact open in $U$. Then $V, W$ are retrocompact open in $X$ (Lemma 5.12.2). Hence $V \cap (U \setminus W) = V \cap (X \setminus W)$ is constructible in $X$. We conclude since every constructible subset of $U$ is a finite union of subsets of the form $V \cap (U \setminus W)$. $\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).