Polish space
実効ポーランド空間とは、可分な完備距離空間 "X" であって、その距離を "d" とおくとき、可算な稠密集合 "C" = ("c"0, "c"1...) が存在して以下の2つの formula_1 上の関係が計算可能になるものである (Moschovakis 2009:96-7):