theorem Th34: :: WAYBEL27:34

for S being complete LATTICE holds UPS (S,(BoolePoset {0})), InclPoset (sigma S) are_isomorphic