for L being lower-bounded continuous LATTICE holds L is meet-continuous