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