for L being continuous complete LATTICE holds lim_inf-Convergence L is (DIVERGENCE)