reserve L for complete Scott TopLattice,
  x for Element of L,
  X, Y for Subset of L,
  V, W for Element of InclPoset sigma L,
  VV for Subset of InclPoset sigma L;

theorem Th23:
  sigma L = the topology of L
proof
  the TopStruct of L = ConvergenceSpace Scott-Convergence L by WAYBEL11:32;
  hence thesis by WAYBEL11:def 12;
end;
