Proposition 2
Tag 08P6, permanent. Cite it as [Bourbaki, Tag 08P6].
Integration, chapter IV, § 1. Upper integral of a positive function
On the set , the function is increasing. The proofs are immediate from Def. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.