Invariance properties and convergence of solutions of set dynamical systems are studied. Using a framework for systems with set-valued states, notions of stability and detectability, similar to the existing results for classical dynamical systems, are defined and used to obtain information about the convergence properties of solutions. In particular, it is shown that local stability, detectabil...