theorem Th38: :: WAYBEL_4:38

for L being lower-bounded continuous LATTICE holds L is meet-continuous