ポーランド空間
variation on a Polish space, setwise convergence implies the convergence formula_2 for any bounded measurable function formula_3.