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. We use this result for conducting iterative fixed-point comparative...