theorem DenseIsBot: :: LATSTONE:24

for L being Stone Lattice
for x being Element of L st x in DenseElements L holds
x * = Bottom L