ベール空間
The result above implies that every complete metric space is a Baire space.