Lemma 5.15.8. Let $X$ be a topological space. Let $T \subset X$ be a subset. Suppose

$T$ is retrocompact in $X$,

quasi-compact opens form a basis for the topology on $X$.

Then for a constructible set $E \subset X$ the intersection $E \cap T$ is constructible in $T$.

## Comments (0)