Baire space
ベールの範疇定理は位相空間がベール空間であるための十分条件を与えるものである。位相空間論および函数解析学で重要なツールとなっている。