consider S being correct Lawson TopAugmentation of A;
not InclPoset the topology of S is trivial ;
hence not lambda A is empty by WAYBEL19:def 4; :: thesis: verum