Corollary 2
Tag 03NG, permanent. Cite it as [Bourbaki, Tag 03NG].
Theory of Sets, chapter III, § 6. Infinite sets
Every increasing sequence of elements of a finite ordered set is stationary.
For every finite ordered set has a maximal element (§ 4, no. 4, Proposition 3, Corollary 2).
¶ An ordered set E which satisfies the equivalent conditions of Proposition 6 is sometimes said to be Noetherian.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.