Ein Schema heißt normal, wenn jeder lokale Ring O x {\displaystyle {}{\mathcal {O}}_{x}} zu x ∈ X {\displaystyle {}x\in X} ein normaler Ring ist.
