The Stacks project

Lemma 28.9.3. Let $X$ be a scheme. The following are equivalent:

1. The scheme $X$ is regular.

2. For every affine open $U \subset X$ the ring $\mathcal{O}_ X(U)$ is Noetherian and regular.

3. There exists an affine open covering $X = \bigcup U_ i$ such that each $\mathcal{O}_ X(U_ i)$ is Noetherian and regular.

4. There exists an open covering $X = \bigcup X_ j$ such that each open subscheme $X_ j$ is regular.

Moreover, if $X$ is regular then every open subscheme is regular.