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 one-to-one holds
S is meet-continuous