let N be complete Lawson TopLattice; :: thesis: lambda N = the topology of N
N is correct Lawson TopAugmentation of N by YELLOW_9:44;
hence lambda N = the topology of N by WAYBEL19:def 4; :: thesis: verum