Definition 2
Tag 08ZV, permanent. Cite it as [Bourbaki, Tag 08ZV].
Integration, chapter V, § 1. Essential upper integral
— A subset of is said to be *-moderated if it satisfies the equivalent conditions of Proposition 5*. A function defined on , with values in a vector space or in , is said to be *-moderated if it is zero on the complement of a* *-moderated subset of* . The measure is said to be moderated if is a *-moderated set*.
If is a moderated measure, then every function on is -moderated and every subset of is -moderated.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.