Definition 1
Tag 08KI, permanent. Cite it as [Bourbaki, Tag 08KI].
Integration, chapter II, § 2. Linear forms on a Riesz space
Given an ordered vector space E, a linear form L on E is said to be positive if for every in E.
Since , it is the same to say that the relation implies , or again that is an increasing function on E.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.