consider S being correct Lawson TopAugmentation of N;
( InclPoset the topology of S is complete & not InclPoset the topology of S is trivial ) ;
hence ( InclPoset (lambda N) is complete & not InclPoset (lambda N) is trivial ) by WAYBEL19:def 4; :: thesis: verum