We suggest a new approach to the verification of the stability (or asymptotic stability) of the equilibria of time-invariant discrete-time systems based on stability and asymptotic stability criteria stated in terms of invariant sets. A set-theoretic method for the verification of the conditions in these criteria is presented.