ベール空間
Every complete metric space is a Baire space.