Corollary 1
Tag 08UH, permanent. Cite it as [Bourbaki, Tag 08UH].
Integration, chapter IV, § 5. Measurable functions and sets
The open sets and the closed sets are measurable.
In particular, the entire space is measurable.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.