Ein Schema ( X , O X ) {\displaystyle {}{\left(X,{\mathcal {O}}_{X}\right)}} heißt reduziert, wenn für jede offene Teilmenge U ⊆ X {\displaystyle {}U\subseteq X} der Ring Γ ( U , O X ) {\displaystyle {}\Gamma (U,{\mathcal {O}}_{X})} reduziert ist.
