Baire space is the topological product of countably many copies of with discrete topology.
It is a Polish space.