Theorem 2 ("Zorn's lemma")
Tag 03QT, permanent. Cite it as [Bourbaki, Tag 03QT].
Theory of Sets, chapter III, § 2. Well-ordered sets
— Every inductive ordered set has a maximal element.
This theorem is a particular case of the following result :
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
- alg-vi-s2-thm-2 not in this corpus
- alg-vii-s1-lem-1 not in this corpus
- Definition 1, Appendix 1
- Exercise 1, § 2
- Theorem 3, § 2
- Corollary 2, § 4
- Theorem 1, § 4
- Lemma 2, § 6
- Theorem 1, § 7
Cites
Nothing.