Baire Category Theorem

📜

The statement of the theorem

In a complete metric space (or a locally compact Hausdorff space), the intersection of any countable collection of dense open sets is dense.

Source: Wikipedia