Lemma 5.15.4. Let $U \subset X$ be open. For a constructible set $E \subset X$ the intersection $E \cap U$ is constructible in $U$.

Proof. Suppose that $V \subset X$ is retrocompact open in $X$. It suffices to show that $V \cap U$ is retrocompact in $U$ by Lemma 5.15.3. To show this let $W \subset U$ be open and quasi-compact. Then $W$ is open and quasi-compact in $X$. Hence $V \cap W = V \cap U \cap W$ is quasi-compact as $V$ is retrocompact in $X$. $\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).