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.