Baire spaces

A topological space \(X\) is a Baire space if and only if for every countable family \((U_n)_{n\geq 1}\) of open dense subsets of \(X\), the intersection \(\bigcap_{n\geq 1} U_n\) is dense in \(X\).