A strictly increasing finite sequence of prime ideals. Its length is the number of strict inclusions, so the displayed chain has length . The Krull dimension of a ring is the supremum of such lengths; the height of a prime ideal restricts to chains ending at that prime.
New to topics? Read the docs here!