say [d]∗where d ∈ L. Suppose x ∈ [d]∗. Then x ∧ d = 0. Since [d]∗ is the least element, we get [x]∗ = [x]∗∨ [d]∗ = [x ∧ d]∗ = [0]∗ = L. Hence x = 0. Thus [d]∗ = (0]. Therefore d is a dense element in L.
บอก ∗where [d] ∗ x ∈ [d] d ∈ L. สมมติ แล้ว x ∧ d = 0 ∗ [d] เป็น องค์ประกอบน้อยที่สุดเราได้รับ [x] ∗ = [x] ∗∗∨ [d] = [d x ∧] ∗ =∗ [0] = L. Hence x = 0 ดังนั้น [d] ∗ = (0ดังนั้น d เป็นองค์ประกอบหนาแน่นใน L.
พูด [ D ] ∗ที่ D ∈ . สมมติว่า x ∈ [ D ] ∗ . แล้ว X ∧ D = 0 ตั้งแต่ [ D ] ∗เป็นองค์ประกอบน้อย เรารับ [ X ] ∗ = [ x ] ∗∨ [ D ] ∗ = [ x ∧ D ] ∗ = [ 0 ] ∗ = L . ดังนั้น x = 0 ดังนั้น [ D ] ∗ = 0 ] . ดังนั้น D หนาแน่นองค์ประกอบ .