Baire space
BCT1 は以下の空間がベール空間であることを示す：