ポーランド空間
Every uncountable coanalytic subset of a Polish space formula_40 has cardinality formula_3 or formula_42.