Corollary

Tag 09Q1, permanent. Cite it as [Bourbaki, Tag 09Q1].

— If $X$ is a Radon space, then every Borel subset $T$ of $X$ is Radon.

For, $T$ is universally measurable in $X$ .

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

Cited by

Nothing.