Lemma 29.7.9. Let $X$ be a scheme and let $U \subset X$ be a reduced open subscheme. Then the following are equivalent
the scheme theoretic closure of $U$ in $X$ is $X$, and
$U$ is scheme theoretically dense in $X$.
If this holds then $X$ is a reduced scheme.
Comments (0)