ポーランド空間
記述集合論において、ポーランド空間 formula_1 の部分集合が 解析集合 であるとは、それがあるポーランド空間の連続像であることをいう。この概念を最初に定義したのはルジンとその指導下にあったススリンである。,