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