for L being continuous LATTICE
for x, y being Element of L holds
( x <= y iff waybelow x c= waybelow y )