theorem Th14: :: WAYBEL12:14

for L being upper-bounded Semilattice
for X being Subset of L holds {(Top L)} "/\" X = X