theorem Th30: :: WAYBEL23:30

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