let L be upper-bounded Semilattice; :: thesis: {(Top L)} is dense
let d be Element of L; :: according to WAYBEL12:def 5 :: thesis: ( d in {(Top L)} implies d is dense )
assume d in {(Top L)} ; :: thesis: d is dense
hence d is dense by TARSKI:def 1; :: thesis: verum