コンパクト集合

コンパクトしゅうごう