theorem :: WAYBEL12:22

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