Normal scheme

An integral locally Noetherian scheme is normal when every local ring is an integrally closed domain.

A Noetherian ring is normal exactly when it satisfies $(R_1)$, regularity in codimension one, and $(S_2)$, depth at least $\min (2,\dim )$ at every localization.