Proposition 1
Tag 090Y, permanent. Cite it as [Bourbaki, Tag 090Y].
Integration, chapter V, § 3. Integration of positive measures
Suppose that μ is the supremum of an increasing directed family of positive measures on T; in order that be scalarly essentially μ-integrable, it is necessary and sufficient that Λ be scalarly essentially -integrable for all and that the family be bounded above in . One then has,
For, verifying that is scalarly essentially integrable for a positive measure on comes down to verifying that is -measurable and admits a finite essential upper integral, with respect to , for every function . The proposition therefore follows at once from Prop. 11 of §1, No. 4 and its Corollary 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.