Corollary 3
Tag 08V2, permanent. Cite it as [Bourbaki, Tag 08V2].
Integration, IV, p. 66, § 5. Measurable functions and sets
The Borel sets in X (GT, IX, §6, No. 3, Def. 4) are -measurable for every measure on X.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.