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