ベール空間
Then, because the intersection of every open set in formula_15 is empty, the space formula_8 cannot be a Baire space.