Baire space
任意の局所コンパクトハウスドルフ空間はベール空間である。つまりベールの範疇定理の結論「疎 (nowhere dense) な部分集合からなる任意の可算合併は空でない」が成立する。