Компактный элемент

решетки - элемент арешетки L, для которого условие [img: http://localhost:8080/file/021230-50.jpg] влечет [img: http://localhost:8080/file/021230-51.jpg] для некоторого конечного подмножества [img: http://localhost:8080/file/021230-52.jpg] Г. С. Фофанова.