for L being sup-Semilattice
for I being directed lower Subset of L holds I "\/" I = I