Definition 4
Tag 0C8Q, permanent. Cite it as [Bourbaki, Tag 0C8Q].
General Topology, chapter IX, § 6. Polish spaces, Souslin spaces, Borel sets
In a topological space , the elements of the -algebra generated by the set of all closed subsets of are called Borel sets in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.