Corollary 1

Tag 0908, permanent. Cite it as [Bourbaki, Tag 0908].

Integration, V, p. 11, § 1. Essential upper integral

For a subset N of T to be locally $\lambda$ -negligible, it is necessary and sufficient that N be locally $\lambda_\alpha$ -negligible for every $\alpha \in A$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Corollary 2, § 1

Cites

Nothing.