Polish space
If formula_2 is a Polish space and formula_26 is a continuous function, let formula_27.