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