Transitivity and Mixing Properties of Set-Valued Dynamical Systems

We introduce and study two properties of dynamical systems: topologically transitive and topologically mixing under the set-valued setting. We prove some implications of these two topological properties for set-valued functions and generalize some results from single-valued case to set-valued case. We also show that both properties of set-valued dynamical systems are equivalence for any compact intervals.