Baire spaceA Baire space is a topological space such that the intersection of any countable family of open and dense sets is dense.