reserve R for non empty RelStr,
  N for net of R,
  i for Element of N;

theorem Th37:
  for T being complete TopLattice st the topology of T = sigma T
  holds T is Scott
proof
  let T be complete TopLattice;
  set CSC = ConvergenceSpace Scott-Convergence T;
  assume the topology of T = sigma T;
  then the TopStruct of T =
  TopStruct(#the carrier of CSC, the topology of CSC#) by YELLOW_6:def 24;
  hence thesis by Th34;
end;
