:: deftheorem defines dense LATSTONE:def 10 :
for L being Stone Lattice
for a being Element of L holds
( a is dense iff a in DenseElements L );