Proposition 2
Tag 08JT, permanent. Cite it as [Bourbaki, Tag 08JT].
Integration, chapter II, § 1. Riesz spaces and fully lattice-ordered spaces
— Let be a Riesz space equipped with a Hausdorff topology that is compatible with its ordered vector space structure (TVS, II, §2, No. 7). If, for every set that is bounded above and directed for the relation , the section filter of is convergent, then is fully lattice-ordered.
Indeed, one knows that the limit of the section filter of is the supremum of in (TVS, II, §2, No. 7, Prop. 18).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.