ベールの範疇定理
任意の完備距離空間はベール空間である。より一般に、完備擬距離空間の開部分集合に同相な任意の位相空間はベール空間である。従って任意の完備距離化可能空間はベール空間である。