\begin{definition}[Definition:Baire Space (Topology)/Definition 2]
Let $T = \left({S, \tau}\right)$ be a topological space.
$T$ is a '''Baire space''' {{iff}} the intersection of any countable set of open sets of $T$ which are everywhere dense is everywhere dense.
\end{definition}