关于具有0,1元素的格

给出了具有 0 ,1元素格中本质元、小元的若干性质及紧致格的一个充要条件。