theorem Th38: :: WAYBEL12:38

for L being upper-bounded Semilattice holds {(Top L)} is dense by TARSKI:def 1;