theorem :: WAYBEL28:19

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