for S, T being complete LATTICE
for g being infs-preserving Function of S,T st g is V7() holds
for X being Scott TopAugmentation of T
for Y being Scott TopAugmentation of S
for d being Function of X,Y st d = LowerAdj g holds
( g is directed-sups-preserving iff d is open )