Polish space
In set theory, a subset of a Polish space formula_1 is ∞-Borel if it