for L being lower-bounded continuous LATTICE holds L -waybelow is satisfying_SI