Locally constructible in properties

Thanks to Takumi Murayama
https://stacks.math.columbia.edu/tag/0AAW#comment-3440

properties.tex

@@ -57,7 +57,7 @@ \section{Constructible sets}
 
 \begin{lemma}
 \label{lemma-generic-point-in-constructible}
-Let $X$ be a scheme and let $E \subset X$ be a constructible subset.
+Let $X$ be a scheme and let $E \subset X$ be a locally constructible subset.
 Let $\xi \in X$ be a generic point of an irreducible component of $X$.
 \begin{enumerate}
 \item If $\xi \in E$, then an open neighbourhood of