theorem Th33: :: WAYBEL27:33

for S being complete LATTICE ex F being Function of (UPS (S,(BoolePoset {0}))),(InclPoset (sigma S)) st
( F is isomorphic & ( for f being directed-sups-preserving Function of S,(BoolePoset {0}) holds F . f = f " {1} ) )