하우스도르프 공간
A compact subset of a Hausdorff space is closed.