ポーランド空間
可分な完備距離空間に同相な位相空間はポーランド空間と呼ばれる。