Search the corpus

    Baire space

    D-VFNTY

    A topological space \(X\) is a Baire space if every countable intersection of open dense subsets of \(X\) is dense in \(X\).

    What links to this