Remark 2
Tag 09R6, permanent. Cite it as [Bourbaki, Tag 09R6].
Integration, IX, p. 60, § 5. Measures on completely regular spaces
It follows at once from Prop. 4 that is closed in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.