'''가산 컴팩트 공간'''(Countably compact space)는은 [[위상공간]]으로서, 그 공간에 임의의 [[가산집합|가산]] [[열린 덮개]]가 주어질 때마다 각 열린 덮개에 대해 유한 열린 덮개를 가지는 것을 의미한다. 임의의 위상공간의 부분공간으로서 이런 성질을 가지는 집합이 '''가산 컴팩트성'''(countable compactness)을 갖는다고도 한다.<ref>James R. Munkres (2000), <i>Topology</i>, Prentice Hall, p.181.</ref>