Baire space
ベール空間は「開稠密部分集合 formula_1 からなる任意の可算族に対して、それらの交わり formula_2 は稠密」という性質を満たす位相空間である。