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;
