☰

бикомпактное точечное множество

сущ.
мат.
列紧集 liè jǐn jí ; 紧集 jǐn jí