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