This paper introduces a framework for analyzing a general class of uncertain nonlinear discrete-time systems with given state-, control-, and disturbance constraints. In particular, we propose a set-theoretic generalization ...