Corollary 1

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

Integration, chapter V, § 7. Integration with respect to an induced measure

— For every subset B of X, $\mu_X^\bullet(B) = \mu^\bullet(B)$ ; for B to be locally $\mu_X$ *-negligible, it is necessary and sufficient that* B be locally $\mu$ *-negligible*.

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

Cited by

Nothing.

Cites

Nothing.