flat morphism

scheme morphism such that the induced map on every stalk is a flat map of rings