standard Borel space
C52521
concept
A standard Borel space is a measurable space that is isomorphic (as a measurable space) to a Borel subset of a complete separable metric (Polish) space equipped with its Borel σ-algebra.
Instances (1)
| Instance | Via concept surface |
|---|---|
| Baire space ω^ω | — |