for T being complete Lawson TopLattice
for D being non empty directed Subset of T holds sup D in Lim (Net-Str D)