ポーランド空間
In set theory, a subset of a Polish space formula_1 is ∞-Borel if it