Baire category theorem/Definition

Theorem that a complete metric space is of second category, equivalently, the intersection of any sequence of open dense sets in a complete metric space is dense.