可算コンパクト集合
【かさんこんぱくとしゅうごう】
【kasankonpakutosyuugou】
可数紧集