ベール空間
Because formula_17 is a Baire space, the set