 Flat morphism

A morphism $f:X\to Y$ is flat at $x\in X$ when the local ring ${\mathcal{O}}_{X,x}$ is a flat module over ${\mathcal{O}}_{Y,f(x)}$. It is flat when it is flat at every point.