ポーランド空間
If formula_2 is a Polish space and formula_26 is a continuous function, let formula_27.