Baire space
Therefore formula_43 is the complement of a subset of first category in a Baire space. By definition of a Baire space, such sets (called ) are dense.