Baire space
Because formula_17 is a Baire space, the set