Krull dimension
This is the transcription of the preceding definition in the language of commutative algebra, the Krull dimension being the maximal length of the chains formula_5 of prime ideals of .