Baire space
ベール空間の全ての formula_4 部分集合が formula_22 であるわけではないが、ある自然数集合 "A" についての formula_23 集合にはなる。formula_8 集合についても同様のことが言える。この関係は effective descriptive set theory において重要である。