Baire space
これらの普遍性の性質と、ベール空間 formula_2 が formula_8 と同相であるという便利な性質により、記述集合論における多くの結果はベール空間において証明される。