theorem Th4: :: WAYBEL_6:4

for S, T being complete LATTICE
for f being sups-preserving Function of S,T st T is meet-continuous & f is meet-preserving & f is V27() holds
S is meet-continuous