theorem Th3: :: LATTICE3:3

for X being set holds
( BooleLatt X is lower-bounded & Bottom (BooleLatt X) = {} )