theorem Th29: :: WAYBEL25:29

for S being complete Scott TopLattice holds S is monotone-convergence