for L being complete lim-inf TopLattice holds
( L is compact & L is T_1 )