The paper presents necessary and sufficient conditions for global controllability to a subset of singular linear discrete-time systems with constrained controls in Banach spaces. The main tool of the proof is based on extension of the surjectivity theorem to set-valued functions.