Polish space
ポーランド空間は第二可算公理を満たす位相空間で完備距離化可能なものをいう。同じことだが、それは可分な完備距離空間で計量を忘却したものである。ポーランド空間の例としては次のものが含まれる：実数直線 formula_1, ベール空間 formula_2, カントール空間 formula_3, ヒルベルト立方体 formula_4