豪斯多夫空间
Every locally compact Hausdorff space is a Baire space.