Baire space
集合論におけるベール空間（ベールくうかん、）は、各項が自然数に値をとる無限列すべてからなる集合に適当な位相を入れたものである。この空間は、その元を以て「実数」と称される程、記述集合論でよく用いられる。ベール空間を表す記号としては B, NN や ωω がよく用いられる。 は formula_1 と書いている。