列的コンパクト
【れつてきこんぱくと】
【retsutekikonpakuto】
列紧性