Baire space
Baire space is the topological product of countably many copies of with discrete topology.
It is a Polish space.
References
- 1 Wikipedia’s entry on http://en.wikipedia.org/wiki/Baire_space_(set_theory)Baire space (set theory
)