set S = the correct Lawson TopAugmentation of A;

not InclPoset the topology of the correct Lawson TopAugmentation of A is trivial ;

hence not lambda A is empty by WAYBEL19:def 4; :: thesis: verum

not InclPoset the topology of the correct Lawson TopAugmentation of A is trivial ;

hence not lambda A is empty by WAYBEL19:def 4; :: thesis: verum