Baire category theorem

In general topology, the Baire category theorem states that a non-empty complete metric space is a second category space: that is, it is not a countable union of nowhere dense sets (sets whose closure have empty interior).

References

• J.L. Kelley (1955). General topology. van Nostrand.