Flat morphism / flat module

f: X → Y flat iff O_{X,x} flat over O_{Y,f(x)} (pure of relative dim). Preserves exact sequences; generic freeness; deformation-theoretic meaning.