Baire space
= Baire space
{wiki}
A Baire space is a topological space in which every countable intersection of open dense sets is dense, equivalently one in which no nonempty open set is a countable union of nowhere-dense sets. Every compact Hausdorff space and every complete metric space is a Baire space.