If R is a ring (commutative with 1), the height of a prime ideal p is defined as the supremum of all n so that there is a chain p_0 subset ...p_(n - 1) subset p_n = p where all p_i are distinct prime ideals. Then, the Krull dimension of R is defined as the supremum of all the heights of all its prime ideals.