theorem Th41: :: WAYBEL23:41

for L being sup-Semilattice
for x being Element of L holds wayabove x is join-closed