theorem Th57: :: WAYBEL34:57

for S, T being complete LATTICE
for d being sups-preserving Function of T,S st T is algebraic & d is compact-preserving holds
d is waybelow-preserving