Polish space
射影集合のクラスの列 formula_4 (n=1,2,……)は包含関係に関する狭義単調増加列になる。射影集合全体がなしているこの階層構造を射影階層と呼ぶ。第三節のポーランド空間 formula_13 が何であるかは重要ではなく、不可算なポーランド空間（ベール空間, カントール空間, 実数直線等）を一つ固定しておいても良い。