theorem Th24: :: WAYBEL_5:24

for L being completely-distributive LATTICE holds L is continuous