Definition:Baire Space (Topology)

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


 * For each countable collection of open sets $$U$$ which are everywhere dense, their intersection $$\bigcap U$$ is also everywhere dense.