theorem :: BOOLEALG:16

for L being 0_Lattice
for X being Element of L holds X misses Bottom L ;