Normally flat ring

In algebraic geometry, a normally flat ring along a proper ideal "I" is a local ring "A" such that formula_1 is flat over formula_2 for each integer formula_3.
The notion was introduced by Hironaka in his proof of the resolution of singularities as a refinement of equimultiplicity and was later generalized by Alexander Grothendieck and others.