Example 2
Tag 03TW, permanent. Cite it as [Bourbaki, Tag 03TW].
Theory of Sets, chapter III, § 1. Order relations. Ordered sets
Let E be an arbitrary ordered set. The empty subset of E is totally ordered, and so is every subset of E consisting of a single element.
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.