컴팩트 (Compact) Set

집합 S 가 임의의 오픈커버 O 에 대해, 항상 파이나잇(finite) 서브커버를 갖으면, S 를 컴팩트하다고 한다.

즉, 반례가 하나라도 있다면 컴팩트하지 않은것이다.