theorem :: WAYBEL28:17

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