ポーランド空間
ヒルベルト立方体の任意の formula_16-部分集合はポーランド空間である。すなわち可分かつ完備距離化可能である。逆に任意のポーランド空間はヒルベルト立方体の formula_16-部分集合に同相である。