ポーランド空間
Every Gδ-subset of the Hilbert cube is a Polish space, a topological space homeomorphic to a separable and complete metric space. Conversely, every Polish space is homeomorphic to a Gδ-subset of the Hilbert cube.