预紧集

预紧集

拼音： yù jǐn jí
日本語訳 前コンパクト集合