Let be a morphism locally of finite type between two schemes and . The relative dimension of at a point is the dimension of the fiber . If all the nonempty fibers () are purely? of the same dimension , then one says that is of relative dimension .
Though the definition does not seem to appear in EGA, there are some relevant propositions in (EGA, IV_2, 5.6):