Local fibre dimension
= Local fibre dimension
{title2=$\dim_xX_{f(x)}$}
The dimension of the <fibre of a morphism> locally at its source point $x$: the maximum of the dimensions of the fibre's irreducible components through $x$. This differs from the <Krull dimension> of the local ring at a nonclosed point.