
theorem Th9:
  for N being Lawson complete TopLattice holds lambda N = the topology of N
proof
  let N be Lawson complete TopLattice;
  N is Lawson correct TopAugmentation of N by YELLOW_9:44;
  hence thesis by WAYBEL19:def 4;
end;
