  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.
