In this paper we study the localization problem of compact invariant sets of nonlinear systems. Methods of a solution of this problem are discussed and a new method is proposed which is based on using symmetrical prolongations and the first-order extremum condition. Our approach is applied to the system modeling the Rayleigh–Bénard convection for which the symmetrical prolongation with the Lorenz system has been constructed.