ハウスドルフ空間
A compact subset of a Hausdorff space is closed.