Baire category theorem

On topological spaces where the intersection of countably many dense open sets is dense

The Baire category theorem (BCT) is an important result in general topology and functional analysis. The theorem has two forms, each of which gives sufficient conditions for a topological space to be a Baire space. It is used in the proof of results in many areas of analysis and geometry, including some of the fundamental theorems of functional analysis.

This keyword could refer to multiple things. Here are some suggestions: