theorem Th40: :: WAYBEL23:40

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