Definition 2
Tag 08JQ, permanent. Cite it as [Bourbaki, Tag 08JQ].
Integration, chapter II, § 1. Riesz spaces and fully lattice-ordered spaces
A Riesz space E is said to be fully lattice-ordered if every nonempty subset of E that is bounded above has a supremum in E.
It is immediate that in a fully lattice-ordered space E, every nonempty subset that is bounded below has an infimum in E.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.