 Baire space (set theory)

In set theory and topology, a **Baire space** is a topological space that satisfies a particular property related to the concept of "largeness" in topology. Specifically, a topological space \( X \) is called a Baire space if the intersection of any countable collection of dense open sets in \( X \) is dense in \( X \).