for L being Stone Lattice
for a being Element of L ex b, c being Element of L st
( a = b "/\" c & b in Skeleton L & c in DenseElements L )