theorem Th39: :: WAYBEL23:39

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