Definition 3

Tag 03K2, permanent. Cite it as [Bourbaki, Tag 03K2].

Theory of Sets, chapter III, § 2. Well-ordered sets

An ordered set E is said to be inductive if every totally ordered subset of E has an upper bound in E.

Examples

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

alg-v-s11-prop-7 not in this corpus
alg-vi-s2-thm-1 not in this corpus
Corollary 1, § 2

Cites

Nothing.