Bourbaki

Proposition 2

Tag 08JT, permanent. Cite it as [Bourbaki, Tag 08JT].

Integration, chapter II, § 1. Riesz spaces and fully lattice-ordered spaces

— Let EE 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 H⊂EH \subset E that is bounded above and directed for the relation ⩽\leqslant, the section filter of HH is convergent, then EE is fully lattice-ordered.

Indeed, one knows that the limit of the section filter of HH is the supremum of HH in EE (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.

Cites

Transcribed from the printed volume. Not translated.