豪斯多夫空间
A compact subset of a Hausdorff space is closed.