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