Definition:Baire Space (Topology)

A Baire space is a topological space with the following property:


 * For each countable collection of open dense subsets $$U_n$$, their intersection $$\bigcup U_n$$ is also dense.