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