Necessary and sufficient conditions for invariance of convex sets for discrete-time saturated systems.