 Local fibre dimension

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.