This paper refined and introduced some notations (namely attractors, physical attractors, proper attractors, topologically exact and topologically mixing) within the context of relations. We establish necessary and sufficient conditions, including that the phase space of a topologically exact system is an attractor for its inverse, and vice versa, and that a system is topologically mixing if and only if its phase space is a physical attractor. Through iterated function systems (IFSs), we illustrate classes of non-trivial topologically mixing and topologically exact IFSs. Additionally, we use IFSs to provide an example of topologically mixing system, generated by finite of homeomorphisms on a compact metric space, that is not topologically exact. These findings connect topological properties with attractor types, providing deeper insights into the long-term dynamics of such systems.
