To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
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. [d] [e]
