for L being complete LATTICE holds lambda L c= xi L