Lemma 5.19.10. Let $X$ be a Noetherian sober topological space. Let $E \subset X$ be a subset of $X$.

If $E$ is constructible and stable under specialization, then $E$ is closed.

If $E$ is constructible and stable under generalization, then $E$ is open.

## Comments (0)