In this paper, we examine the localization problem of compact invariant sets of discrete-time nonlinear systems. The localization procedure consists in applying the iterative algorithm based on the extremum condition. An analysis of a location of compact invariant sets of the Henon system is realized for all values of its parameters.