theorem Th37: :: WAYBEL23:37

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