for L being non trivial bounded Semilattice
for x being Element of L st x is dense holds
x <> Bottom L