theorem Th21: :: WAYBEL33:21

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