The Baire category theorem says that every complete metric space is a Baire space. That is, the union of countably many nowhere dense subsets of the space has empty interior.
the baire category theorem says that every complete metric space is a baire space that is the union of countably many nowhere dense subsets of the space has empty interior