let S, T be non empty TopSpace-like reflexive transitive antisymmetric up-complete Scott TopRelStr ; :: thesis:
let f be Function of S,T; :: thesis:
assume A1: f is directed-sups-preserving ; :: thesis:
thus f is continuous :: thesis:

let P1 be Subset of T; :: according to PRE_TOPC:def 6 :: thesis:
reconsider P19 = P1 as Subset of T ;
assume P1 is closed ; :: thesis:
then A2: ( P19 is directly_closed & P19 is lower ) by WAYBEL11:7;

let D be non empty directed Subset of S; :: thesis:
assume A3: D c= f " P1 ; :: thesis:
A4: f preserves_sup_of D by A1;
ex_sup_of D,S by WAYBEL_0:75;
then A5: sup (f .: D) = f . (sup D) by A4;
reconsider fD = f .: D as directed Subset of T by A1, YELLOW_2:15;
fD c= P1 by A3, EQREL_1:46;
then sup fD in P19 by A2;
hence sup D in f " P1 by A5, FUNCT_2:38; :: thesis:

end;

then ( f " P1 is directly_closed & f " P1 is lower ) by A1, A2, Th1;
hence f " P1 is closed by WAYBEL11:7; :: thesis:

end;