Baire space
完備疑距離空間の開集合はベール空間になる(ベールの第一範疇定理)。