theorem Th36: :: WAYBEL23:36

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