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