Polish space
数学の記述集合論において、ポーランド空間 formula_1 の部分集合 formula_2 が 射影集合 であるとは、それがある正整数 formula_3 についての formula_4 集合であることをいう。ここで、formula_2 が