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

N is correct Lawson TopAugmentation of N by YELLOW_9:44;

hence lambda N = the topology of N by WAYBEL19:def 4; :: thesis: verum