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

theorem Th34:
  for T being complete TopLattice
  st the TopStruct of T = ConvergenceSpace Scott-Convergence T
  holds T is Scott
by Th33;
