Es sei R {\displaystyle {}R} ein normaler Integritätsbereich und sei S ⊆ R {\displaystyle {}S\subseteq R} ein multiplikatives System.
Dann ist auch die Nenneraufnahme R S {\displaystyle {}R_{S}} normal.
