ハウスドルフ空間
Every compact subset of a Hausdorff space is relatively compact. In a non-Hausdorff space, such as the particular point topology on an infinite set, the closure of a compact subset is "not" necessarily compact; said differently, a compact subset of a non-Hausdorff space is not necessarily relatively compact.