theorem Th38: :: WAYBEL23:38

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