theorem Th43: :: WAYBEL21:43

for T being complete Lawson TopLattice
for N being eventually-filtered net of T holds rng the mapping of N is non empty filtered Subset of T