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)