For an increasing upper order hemi-continuous correspondence F selfmapping sigma-complete lattice A, we first provide tight fixed-point bounds for sufficiently large iterations on F starting from any initial point a in A. ...