Complete metric space is Baire

Complete metric space is Baire: Every complete metric space is a Baire space ; equivalently, in a complete metric space, every countable intersection of dense open sets is dense.

This is the standard formulation of the Baire category theorem in the language of Baire spaces, and it underlies many arguments involving meager sets and nowhere dense sets .