条件つきコンパクト集合
【じょうけんつきこんぱくとしゅうごう】
【joukentsukikonpakutosyuugou】
条件紧集