for L being lower-bounded Lattice
for b being Element of L holds not b is-lower-neighbour-of Bottom L