commutative ring admitting a good dimension function, i.e. that relative dimension between two prime ideals is well defined, in the sense that any maximal strictly increasing chain of prime ideals between the two has the same finite length