ベール空間
BCT1 shows that each of the following is a Baire space: