theorem Th35: :: WAYBEL23:35

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