Definition 1
Tag 0CJG, permanent. Cite it as [Bourbaki, Tag 0CJG].
Commutative Algebra, chapter VIII, § 1. Dimension de Krull d’un anneau
Let be an ordered set. A nonempty finite totally ordered subset of is called a chain in . Let be a chain in ; the smallest and greatest elements of are called the extremities of . The integer is called the length of . The inclusion relation in the set of subsets of induces an order relation in the set of chains in . A chain in is said to be saturated if it is maximal among the chains in having the same extremities as .
To designate a chain c of length n, we shall often write: “the chain ”, where the are the elements of c indexed in strictly increasing order by the integers from 0 to n.
Let X be a topological space. We equip the set of irreducible closed subsets of X (II, § 4, No. 1, Def. 1) with the order relation defined by inclusion. Whenever we speak of a chain of irreducible closed subsets of X, this will always mean a chain with respect to this order relation.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.