for L being sup-Semilattice
for S being join-closed Subset of L holds S is directed