Definition:Baire Space (Topology)

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


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