The functional method of localization of invariant compact sets developed for continuous- and discrete-time dynamical systems is extended to families of discrete-time systems. Positively invariant compact sets are considered. As an example, the method is applied to the Henon system with uncertain parameters.