theorem :: HEYTING3:7

for L being lower-bounded Lattice holds Bottom L = Bottom (LattPOSet L)