Example 1
Tag 03T2, permanent. Cite it as [Bourbaki, Tag 03T2].
Theory of Sets, chapter III, § 2. Well-ordered sets
Let be a set of subsets of a set A, ordered by inclusion, and such that for every totally ordered subset of the union of the sets of belongs to . Then is inductive with respect to the relation because the union of the sets of is the least upper bound of in .
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.
Cites
Nothing.