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).