Baire space

To ensure generic properties hold, many functional analysts work within a Baire space where countable intersections of open dense sets remain dense.