theorem Th33: :: WAYBEL19:33

for R being complete LATTICE holds lambda R = UniCl (FinMeetCl ((sigma R) \/ (omega R)))