| 释义 | Baire's category theoremBaire's category theorem[¦berz ′kad·ə‚gȯr·ē ‚thir·əm]  (mathematics) The 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. |