theorem Th35: :: WAYBEL21:35

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