reserve T for TopSpace,
  B for Subset of T;
reserve X,Y for non empty TopSpace;
reserve f for Function of X,Y;

theorem
  f is continuous iff f is ps-continuous (c,ps)-continuous
proof
A1: [#]Y <> {};
  hereby
    assume
A2: f is continuous;
    thus f is ps-continuous
    proof
      let V be Subset of Y;
      assume V is open;
      then f"V is open by A1,A2,TOPS_2:43;
      then f"V in the topology of X by PRE_TOPC:def 2;
      then f"V in PSO X /\ D(c,ps)(X) by Th10;
      hence thesis by XBOOLE_0:def 4;
    end;
    thus f is (c,ps)-continuous
    proof
      let V be Subset of Y;
      assume V is open;
      then f"V is open by A1,A2,TOPS_2:43;
      then f"V in the topology of X by PRE_TOPC:def 2;
      then f"V in PSO X /\ D(c,ps)(X) by Th10;
      hence thesis by XBOOLE_0:def 4;
    end;
  end;
  assume
A3: f is ps-continuous (c,ps)-continuous;
  now
    let V be Subset of Y;
    assume V is open;
    then f"V in PSO X & f"V in D(c,ps)(X) by A3;
    then f"V in PSO X /\ D(c,ps)(X) by XBOOLE_0:def 4;
    then f"V in the topology of X by Th10;
    hence f"V is open by PRE_TOPC:def 2;
  end;
  hence thesis by A1,TOPS_2:43;
end;
