theorem Th24: :: WAYBEL33:24

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