ハウスドルフ空間
Every locally compact Hausdorff space is a Baire space.