\section{From continuous  dynamics  to multivalued mappings}
\label{sec:cont-graph}
In this section we  recall how the dynamics of multivalued mappings can be linked to dynamical systems
as described in \cite{KMV0}.
Since multivalued mappings are discrete in both time and space, we need to address the issues of both time and
space discretization.

\subsection{Grids and outer approximations}
\label{sec:cgt}
To represent  continuous dynamics in terms of the combinatorial structures described in Section~\ref{sec:comb-syst}
requires discretizing phase space.  We wish this discretization to be as generally applicable and as topologically nice as possible. With this in mind we choose the basic elements of our discretization to be {\em regular closed sets}, i.e.
sets $A\subset X$ such that $A ={\rm cl}\,}%{\text{cl}(\mbox{\rm int\,}(A))$.

\begin{proposition}
\label{prop:walker} \cite[Proposition 2.3]{Walker}
Let $X$ be a topological space. The family ${\mathscr R}(X)$ of regular closed subsets of $X$ is a  Boolean algebra
with the following operations:
\begin{enumerate}
\item[(i)] $A\leq B$ if and only if $A\subset B$;
\item[(ii)]  $A\vee B := A\cup B$;
\item[(iii)]  $A\wedge B := {\rm cl}\,}%{\text{cl} ( \mbox{\rm int\,}(A\cap B))$;
\item[(iv)] $A^{\bigstar} := {\rm cl}\,}%{\text{cl}(A^c)$;
\end{enumerate}
where $0=\varnothing$ and $1=X$.
\end{proposition}

\begin{remark}
Proposition 2.3 in \cite{Walker} proves that ${\mathscr R}(X)$ is a complete Boolean algebra, i.e. 
$\bigvee_\alpha A_\alpha := {\rm cl}\,}%{\text{cl}\left( \bigcup_\alpha \mbox{\rm int\,}(A_\alpha) \right)$ and $\bigwedge_\alpha A_\alpha := {\rm cl}\,}%{\text{cl}\left( \mbox{\rm int\,}(\bigcap_\alpha A_\alpha) \right)$ are well-defined.
\end{remark}

\begin{lemma}
\label{lem:equivregcl}
Let $A,A' \in {\mathscr R}(X)$, then $A\wedge A' = \varnothing$ if and only if $A\cap \mbox{\rm int\,} (A') = \varnothing$.
\end{lemma}
\begin{proof}
By definition
\[
 A \wedge A' = {\rm cl}\,}%{\text{cl}(\mbox{\rm int\,}(A\cap A')).
\]
Using the property $\mbox{\rm int\,}(A\cap A') = \mbox{\rm int\,}(A)\cap \mbox{\rm int\,}(A')$, 
\[
 A \wedge A' =  {\rm cl}\,}%{\text{cl}(\mbox{\rm int\,}(A)\cap \mbox{\rm int\,}(A')).
\]
Also, if $U\subset X$ is open and $B,B'\subset X$ with ${\rm cl}\,}%{\text{cl}(B) = {\rm cl}\,}%{\text{cl}(B')$, then 
${\rm cl}\,}%{\text{cl}(B\cap U) = {\rm cl}\,}%{\text{cl}(B'\cap U)$. 
Taking $U= \mbox{\rm int\,}(A')$, $B = \mbox{\rm int\,}(A),$ and $B'= A$ implies
\[
 A \wedge A' = {\rm cl}\,}%{\text{cl}(A\cap \mbox{\rm int\,}(A')).
\]
Therefore
\[
A \wedge A'=\varnothing \quad\hbox{iff}\quad  {\rm cl}\,}%{\text{cl}(A\cap \mbox{\rm int\,}(A'))=\varnothing
\quad\hbox{iff}\quad A\cap \mbox{\rm int\,}(A')=\varnothing,
\]
which  proves the equivalence.
\end{proof}


Sets $A,A'\subset X$ for which $A\wedge A' = \varnothing$ will be  referred to as \emph{regularly disjoint sets}. 


\begin{lemma}
\label{lem:intregdisj}
Let $A,B,C \in {\mathscr R}(X)$ be mutually regularly disjoint sets. Then
\[
A = {\rm cl}\,}%{\text{cl}\bigl( (A\cup B)\setminus (B\cup C)\bigr).
\]
\end{lemma}
\begin{proof}
We start with the observation that if $A,A'\in {\mathscr R}(X)$ are mutually regularly disjoint, then ${\rm cl}\,}%{\text{cl}(A\setminus A') = A$. Indeed, by Lemma \ref{lem:equivregcl}, $A\wedge A'=\varnothing$, is equivalent to $A\cap \mbox{\rm int\,}(A')
=\mbox{\rm int\,}(A) \cap A' = \varnothing$. This implies $\mbox{\rm int\,}(A) \subset A\setminus A' \subset A$ and therefore
$A= {\rm cl}\,}%{\text{cl}(\mbox{\rm int\,}(A)) \subset {\rm cl}\,}%{\text{cl}(A\setminus A') \subset {\rm cl}\,}%{\text{cl}(A) = A$, which proves the statement.

Note that $(A\cup B)\setminus (B\cup C) = (A\cup B) \setminus B\setminus C = A\setminus B\setminus C
= A\setminus (B\cup C)$.
By assumption $A\wedge (B\cup C) = \varnothing$. By the previous statement we then have
\[
A = {\rm cl}\,}%{\text{cl} (A\wedge (B\cup C)) =  {\rm cl}\,}%{\text{cl}\bigl( (A\cup B)\setminus (B\cup C)\bigr),
\]
which proves the lemma.
\end{proof}

For the purpose of computation we are only interested in finite collections of regular closed sets.




\begin{proposition}
\label{prop:grid-sub}
Let   ${\mathscr R}_0\subset {\mathscr R}(X)$ be a finite subalgebra of the Boolean algebra ${\mathscr R}(X)$ of regular closed subsets of $X$ and let ${\mathsf J}({\mathscr R}_0)$ denote the set of atoms of ${\mathscr R}_0$.  Then
\begin{enumerate}
\item[(i)] $X=\bigcup\setof{A\mid A \in {\mathsf J}({\mathscr R}_0)}$.
\item[(ii)]
If $A,A'\subset X$   are atoms of ${\mathscr R}_0$, then
$
A\cap \mbox{\rm int\,}(A') = \varnothing.
$
\end{enumerate}
Conversely, every finite set ${\mathsf J}= \{A\mid A\subset X\}$ of mutually regularly disjoint  subsets which satisfies (i)  
generates a subalgebra of ${\mathscr R}(X)$ for which ${\mathsf J}$ is the set of atoms.
\end{proposition}
\begin{proof}
The proof of (i) follows from the fact that $1=X$ and Proposition~\ref{prop:walker}(ii). Property (ii) follows from Lemma \ref{lem:equivregcl}. The converse statement follows from Stone's Representation Theorem, cf.\ \cite{Davey:2002p5923}.
\end{proof}


Proposition~\ref{prop:grid-sub} implies that if $X$ is a compact metric space, then any finite subalgebra of ${\mathscr R}(X)$ defines a {\em grid} on $X$ (see \cite{KMV0}, \cite{Mrozek-grid}), and conversely a grid defines a finite subalgebra of ${\mathscr R}(X)$.  
We denote the space of a grids on $X$ by ${\mathsf{Grid}}(X)$, which is a lattice dual to the lattice of finite subalgebras
${{\rm sub}_F\mathscr{R}}(X)$.
Since we make use of grids to pass from the computations to dynamics, we recall and establish several fundamental properties.
First, by \cite[Theorem 2.2]{KMV0} given a compact metric space there exists a grid with elements of arbitrarily small diameter. 
Second, as is discussed in detail in this section, grids provide a natural correspondence between the combinatorial systems of Section~\ref{sec:comb-syst} and the continuous systems of interest. 



To begin to set up the relationship between combinatorial and continuous systems, consider a grid  on $X$ indexed by a finite set ${\mathcal X}$.  
In particular, given $\xi\in{\mathcal X}$  the corresponding grid element is denoted by $\supp{\xi}\in {\mathscr R}(X)$.  
The \emph{evaluation mapping} $\supp{\cdot}\colon {\mathsf{Set}}({\mathcal X}) \to {\mathscr R}(X)$ is defined by
\[ 
 |{\mathcal U}| := \bigcup_{\xi\in {\mathcal U}} \supp{\xi}.
 \]
 The range of ${\mathsf{Set}}({\mathcal X})$ under $|\cdot|$ is the subalgebra whose atoms are
 the grid elements, and this subalgebra will be denoted by ${\mathscr R}_{{{\mathcal X}}}(X)$.
 Proposition~\ref{prop:grid-sub} immediately implies the following.
\begin{corollary}
\label{cor:grid->lattice}\label{prop:grid->lattice}
Given a grid on a compact metric space $X$ indexed by ${\mathcal X}$, then the evaluation mapping $\supp{\cdot}\colon {\mathsf{Set}}({\mathcal X}) \to {\mathscr R}(X)$ is a 
Boolean isomorphism onto ${\mathscr R}_{{{\mathcal X}}}(X)$.
\end{corollary}
\begin{proof}
By construction the evaluation map is a lattice homomorphism.
Since $|\varnothing| = \varnothing$ and $|{\mathcal X}| = X$, Lemma 4.17 in  \cite{Davey:2002p5923}  shows that the evaluation map is Boolean.
\end{proof}



Before explicitly describing the discretization of a general dynamical system $\varphi\colon {\mathbb{T}}^+ \times X\to X$, we consider the simple setting of approximating the dynamics generated by a continuous map $f\colon X\to X$.

\begin{definition}
\label{defn:outerapprox}
Let $f\colon X \to X$ be a continuous map. Let ${\mathcal X}$ be the indexing set for a grid on $X$.
A multivalued mapping ${\mathcal F}\colon{\mathcal X} \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ is an \emph{outer approximation} of $f$ if
\begin{equation}
\label{eq:outerapprox}
 f(\supp{\xi}) \subset \mbox{\rm int\,} |{\mathcal F}(\xi)| \text{ for all }\xi\in {\mathcal X}.
\end{equation}
A multivalued mapping ${\mathcal F}\colon{\mathcal X} \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ is a \emph{weak outer approximation} for 
 $f$ if
\begin{equation}
\label{eq:weakouterapprox}
f(\supp{\xi}) \subset \mbox{\rm int\,} \supp{\bigcup_{n\geq 0}{\mathcal F}^n(\xi)}\text{ for all }\xi\in {\mathcal X}.
\end{equation}
\end{definition}


\begin{remark}
By  definition  outer approximations ${\mathcal F}$  are necessarily left-total, and therefore combinatorial omega limit sets and attractors are invariant sets for outer approximations ${\mathcal F}$.
\end{remark}


\subsection{Attractors, repellers, and their neighborhoods}
\label{subsec:at-rep-neigh}


Recall that a set $U\subset X$ is an \emph{attracting neighborhood} for a continuous function $f\colon X \to X$ if
$\omega(U,f)\subset \mbox{\rm int\,}(U)$.  A \emph{trapping region} $U$ is an attracting neighborhood with the additional 
property that $f({\rm cl}\,}%{\text{cl}(U)) \subset \mbox{\rm int\,}(U)$.  A set $A\subset X$ is an \emph{attractor}  if there exists a 
trapping region $U$  such that $A=\Inv (U,f)$ in which case $A = \omega(U,f)\subset \mbox{\rm int\,}(U)$.

A set $U\subset X$ is a \emph{repelling neighborhood} for a continuous function $f\colon X \to X$ if
$\alpha(U,f)\subset \mbox{\rm int\,}(U)$.  A \emph{repelling region} $U$ is an repelling neighborhood with the additional 
property that $f^{-1}({\rm cl}\,}%{\text{cl}(U)) \subset \mbox{\rm int\,}(U)$.  A set $R\subset X$ is an \emph{repeller}  if there exists a 
repelling region $U$  such that $R=\Inv^+ (U,f)$ in which case $R = \alpha(U,f)\subset \mbox{\rm int\,}(U)$ cf.\ \cite{KMV-1a}.


The sets of all attracting neighborhoods and repelling neighborhoods are denoted by ${\mathsf{ ANbhd}}(X,f)$ and 
${\mathsf{ RNbhd}}(X,f)$ respectively. As is shown in \cite{KMV-1a} these sets are lattices under the operations union and intersection.
The following propositions indicate that attracting and repelling neighborhoods can be identified using weak outer
approximations.

\begin{proposition}
\label{prop:discr-att-to-varphi1}
Let ${\mathcal F}\colon {\mathcal X} \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ be an weak outer approximation for $f$. If ${\mathcal U}\subset {\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$, then $|{\mathcal U}|$ is  a trapping region for $f$, and therefore $|{\mathcal U}|\in{\mathsf{ ANbhd}}(X,f)$.
\end{proposition}
\begin{proof} Since ${\mathcal F}$ is a weak outer approximation,
for $\xi\in{\mathcal U}$ we have
\[
f(|\xi|) \subset \mbox{\rm int\,}\left|\bigcup_{n\ge0}{\mathcal F}^n(\xi)\right| \subset \mbox{\rm int\,}|{\mathcal U}|
\]
because ${\mathcal F}^n({\mathcal U})\subset {\mathcal U}$ for all $n\ge0$.
Therefore
$
f(|{\mathcal U}|)  \subset \mbox{\rm int\,}|{\mathcal U}|,
$
which implies that $|{\mathcal U}|$ is a trapping region for $f$.
\end{proof}


\begin{proposition}
\label{prop:prop:discr-att-to-varphi2}
Let ${\mathcal F}\colon{\mathcal X} \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ be an weak outer approximation for $f$. If ${\mathcal U}\in{\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$, then   $|{\mathcal U}|\in {\mathsf{ RNbhd}}(X,f)$.
\end{proposition}
\begin{proof}
Let ${\mathcal U}\in{\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$. 
By Proposition~\ref{prop:cms-forback}, ${\mathcal U}^c\in{\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$, and thus by Proposition~\ref{prop:discr-att-to-varphi1}, $\supp{{\mathcal U}^c}\in {\mathsf{ ANbhd}}(X,f)$.  
By \cite[Corollary 3.24]{KMV-1a} $\supp{{\mathcal U}^c}^c \in {\mathsf{ RNbhd}}(X,f)$ and thus by \cite[Corollary 3.26]{KMV-1a}
${\rm cl}\,}%{\text{cl}\left(\supp{{\mathcal U}^c}^c\right) \in {\mathsf{ RNbhd}}(X,f)$.  Finally, by Corollary~\ref{prop:grid->lattice}, $|{\mathcal U}|\in {\mathsf{ RNbhd}}(X,f)$.
\end{proof}


\begin{remark}
\label{rmk:other1}
Another approach is to achieve the latter directly. In that case a negative time variation on (\ref{eq:weakouterapprox}) is needed.
The duality approach used here does not require additional assumptions and is therefore preferable.
However, the duality approach implies that $|{\mathcal U}|$ is a repelling neighborhood, and it is \emph{not} clear whether $|{\mathcal U}|$ is a
repelling \emph{region}.
\end{remark}



As the following proposition indicates, outer approximations, as opposed to weak outer approximations, allow one to obtain the same results using a larger variety of sets. 
The proof makes use of the following  observation.  If ${\mathcal F}$ is an outer approximation for $f$, then 

\begin{equation}
\label{eqn:iterate}
f^n(|\xi|)  \subset \mbox{\rm int\,} |{\mathcal F}^n(\xi)|\quad \forall \xi\in {\mathcal X},\; \forall n\ge 0.
\end{equation}
This property can be derived as follows. Observe that 
\[
f^2(|\xi|) =  f(f(|\xi|))\subset f(\mbox{\rm int\,} |{\mathcal F}(\xi)|) \subset f(|{\mathcal F}(\xi)|), 
\]
and by definition 
\[
f(|{\mathcal F}(\xi)|) = \bigcup_{\xi' \in{\mathcal F}(\xi)} f(|\xi'|) \subset \bigcup_{\xi' \in{\mathcal F}(\xi)} \mbox{\rm int\,} \supp{{\mathcal F}(\xi')}
\subset \mbox{\rm int\,} \supp{{\mathcal F}^2(\xi)}.
\]
Equation \eqref{eqn:iterate} follows by proceeding inductively.

\begin{proposition}
\label{prop:discr-att-to-varphi2}
Let ${\mathcal F}\colon{\mathcal G} \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal G}$ be an  outer approximation for $f$. If  
${\mathcal U}\in {\mathsf{ASet}}({\mathcal X},{\mathcal F})$, then $|{\mathcal U}| \in {\mathsf{ ANbhd}}(X,f)$.
If ${\mathcal U}\in {\mathsf{RSet}}({\mathcal X},{\mathcal F})$, then $|{\mathcal U}| \in {\mathsf{ RNbhd}}(X,f)$.
\end{proposition}

\begin{proof}
By Proposition~\ref{prop:char-attset} if ${\mathcal U}\in {\mathsf{ASet}}({\mathcal X},{\mathcal F})$, then there exists an $n\ge 1$ such that ${\mathcal F}^k({\mathcal U}) \subset {\mathcal U}$ for all $k\ge n$.
By \eqref{eqn:iterate}
$f^k(\xi) \subset \mbox{\rm int\,} |{\mathcal F}^k(\xi)|$ for all $k\ge n$ and all $\xi\in {\mathcal U}$.
Therefore,
\begin{eqnarray*}
f^k(\supp{{\mathcal U}}) &=&  \bigcup_{\xi\in {\mathcal U}} f^k(\supp{\xi}) \subset \bigcup_{\xi\in {\mathcal U}} \mbox{\rm int\,} \bigl(\supp{{\mathcal F}^k(\xi)}\bigr)\\
&\subset& \mbox{\rm int\,} \left[ \bigcup_{\xi\in {\mathcal U}}\supp{{\mathcal F}^k(\xi)} \right] = \mbox{\rm int\,} \supp{ {\mathcal F}^k({\mathcal U})} \subset  \mbox{\rm int\,} |{\mathcal U}|\;\;\forall k\ge n,
\end{eqnarray*}
and hence $\supp{{\mathcal U}}\in {\mathsf{ ANbhd}}(X,f)$.

To prove the second part, let ${\mathcal U}\in {\mathsf{RSet}}({\mathcal X},{\mathcal F})$.  By Proposition~\ref{prop:invo} ${\mathcal U}^c\in {\mathsf{ASet}}({\mathcal X},{\mathcal F})$ and
thus $|{\mathcal U}^c| \in {\mathsf{ ANbhd}}(X,f)$.  By Corollary~\ref{prop:grid->lattice} 
\[
|{\mathcal U}|^{\bigstar} = \supp{{\mathcal U}^c},
\]
 and thus by \cite[Corollary 3.26]{KMV-1a} $|{\mathcal U}| \in {\mathsf{ RNbhd}}(X,f)$.
\end{proof}



Let ${\mathsf{ ANbhd}}_{\scrR}(X,f)$ and ${\mathsf{ RNbhd}}_{\scrR}(X,f)$ denote the sets of regular closed attracting and repelling neighborhoods, respectively.
\begin{proposition}
\label{prop:ANbhdR}
Given a continuous function $f\colon X\to X$ on a compact metric space, ${\mathsf{ ANbhd}}_{\scrR}(X,f)$ and ${\mathsf{ RNbhd}}_{\scrR}(X,f)$ are sublattices of ${\mathscr R}(X)$.
\end{proposition}


\begin{proof}
Since the elements of ${\mathsf{ ANbhd}}_{\scrR}(X,f)$ are regular closed sets, then ${\mathsf{ ANbhd}}_{\scrR}(X,f)\subset {\mathscr R}(X)$. 
Thus it only needs to be shown that ${\mathsf{ ANbhd}}_{\scrR}(X,f)$ is a bounded lattice. 
Let $U,U' \in {\mathsf{ ANbhd}}_{\scrR}(X,f)$.
Observe that $\varnothing, X\in {\mathsf{ ANbhd}}_{\scrR}(X,f)$. 
By \cite[Lemma 3.2]{KMV-1a}, $\mbox{\rm int\,}(U) \cap \mbox{\rm int\,}(U') \in {\mathsf{ ANbhd}}_{\scrR}(X,f)$, and therefore
\[
U\wedge U' = {\rm cl}\,}%{\text{cl} \bigl( \mbox{\rm int\,}(U) \cap \mbox{\rm int\,}(U') \bigr) \in {\mathsf{ ANbhd}}(X,f),
\]
which
proves that ${\mathsf{ ANbhd}}_{\scrR}(X,f)$ is closed under the operations $\vee$ and $\wedge$ of ${\mathscr R}(X)$.
The same argument applies to ${\mathsf{ RNbhd}}_{\scrR}(X,f)$.
\end{proof}


\begin{remark}\label{rmk:eval}
As indicated in \cite{KMV-1a} ${\mathsf{ ANbhd}}(X,f)$  is a sublattice of ${\mathsf{Set}}(X)$ and  by Proposition~\ref{prop:ANbhdR}
${\mathsf{ ANbhd}}_{\scrR}(X,f)$ is a sublattice of ${\mathscr R}(X)$.  Since the operations in these two lattices are different ${\mathsf{ ANbhd}}(X,f)$
and ${\mathsf{ ANbhd}}_{\scrR}(X,f)$ are not interchangeable. The same comment applies to ${\mathsf{ RNbhd}}(X,f)$ and ${\mathsf{ RNbhd}}_{\scrR}(X,f)$.
\end{remark}


\begin{theorem}
\label{thm:first-evalf}
Let ${\mathcal X}$ be an indexing set for a grid on $X$ and let ${\mathcal F}\colon{\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ be a weak outer approximation of $f$. Then,
\begin{equation}\label{diag:AR2}
\begin{diagram}
\node{{\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})} \arrow{e,l,<>}{^c} \arrow{s,l,V}{ |\cdot|}\node{{\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})} \arrow{s,r,V}{ |\cdot|}\\
\node{{\mathsf{ ANbhd}}_{\scrR}(X,f)} \arrow{e,l,<>}{^{\bigstar}} \arrow{s,l,A}{\displaystyle \omega}\node{{\mathsf{ RNbhd}}_{\scrR}(X,f)} \arrow{s,r,A}{\displaystyle \alpha}\\
\node{{\mathsf{ Att}}(X,f)} \arrow{e,l,<>}{^*}   \node{{\mathsf{ Rep}}(X,f)} 
\end{diagram}
\end{equation}
is a commuting diagram of distributive lattices. 
The same statement holds if we replace ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ and ${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ by ${\mathsf{ASet}}({\mathcal X},{\mathcal F})$ and
${\mathsf{RSet}}({\mathcal X},{\mathcal F})$ respectively.
\end{theorem}

The proof of this result makes use of the following lemma.

\begin{lemma}
\label{lem:omega-int}
Let $U\in {\mathsf{ ANbhd}}(X,f)$, then $\omega(U) = \omega({\rm cl}\,}%{\text{cl}(U)) = \omega(\mbox{\rm int\,}(U)) \subset \mbox{\rm int\,}(U)$.
\end{lemma}

\begin{proof}
If $U$ is attracting, then  $\mbox{\rm int\,}(U)$ is attracting. 
This implies $\omega(\mbox{\rm int\,}(U)) = \Inv(\mbox{\rm int\,}(U))$, see \cite[Corollary 3.6]{KMV-1a}.
Moreover, $\omega(\mbox{\rm int\,}(U)) \subset \omega(U) = \Inv(U,f) \subset \mbox{\rm int\,}(U)$, which implies
that $\omega(\mbox{\rm int\,}(U)) = \omega(U)$.
\end{proof}

\begin{proof}[Proof of Theorem~\ref{thm:first-evalf}]
The proof of the upper square follows from Propositions~\ref{prop:discr-att-to-varphi2} and \ref{prop:ANbhdR} and
the relation $|{\mathcal U}|^{\bigstar} = |{\mathcal U}^c|$.

The first step in the proof of the lower square is to show that $\omega\colon {\mathsf{ ANbhd}}_{\scrR}(X,f) \to {\mathsf{ Att}}(X,f)$, and
$\alpha\colon {\mathsf{ RNbhd}}_{\scrR}(X,f) \to {\mathsf{ Rep}}(X,f)$ are lattice homomorphisms.
For $\vee = \cup$ the homomorphism property is obvious. 
As for $\wedge$, applying Lemma~\ref{lem:omega-int} and \cite[Proposition 4.1]{KMV-1a} results in
\[
\omega(U\wedge U') = \omega\bigl({\rm cl}\,}%{\text{cl}(\mbox{\rm int\,}(U\cap U'))\bigr)  = \omega(\mbox{\rm int\,}(U\cap U')) =\omega(U\cap U') = A\wedge A'.
\]
The same argument applies to repelling neighborhoods.
The surjectivity of $\alpha$ and $\omega$ follows from \cite[Proposition 5.5]{KMV0}
\end{proof}

Strengthening the assumptions on the outer approximation ${\mathcal F}$ allows one to extend Theorem~\ref{thm:first-evalf}.

\begin{theorem}
\label{thm:commutative-diagram}
Let ${\mathcal X}$ be an indexing set for a grid on $X$ and let ${\mathcal F}\colon{\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ be an outer approximation of $f$. 
Then
\begin{equation}
\label{diag:comm-liftfull}
\begin{diagram}
\node{}\node{{\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})} \arrow{e,l,<>}{^c} \arrow{s,l,V}{\imath} \arrow{sw,l,A}{{\bm{\omega}}}\node{{\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})} \arrow{s,r,V}{\imath}\arrow{se,l,A}{{\bm{\alpha}}}	\\
\node{{\mathsf{ Att}}({\mathcal X},{\mathcal F})}\arrow{sse,r}{\omega(|\cdot|)}\node{{\mathsf{ASet}}({\mathcal X},{\mathcal F})}\arrow{s,l,V}{|\cdot|}\arrow{w,l,A}{{\bm{\omega}}}\arrow{e,l,<>}{^c} 
\node{{\mathsf{RSet}}({\mathcal X},{\mathcal F})}\arrow{s,l,V}{|\cdot|}\arrow{e,l,A}{{\bm{\alpha}}}\node{{\mathsf{ Rep}}({\mathcal X},{\mathcal F})} \arrow{ssw,r}{\alpha(|\cdot|)}	\\
\node{}\node{{\mathsf{ ANbhd}}_{\scrR}(X,f)}\arrow{s,l,A}{\omega}\arrow{e,l,<>}{^{\bigstar}} \node{{\mathsf{ RNbhd}}_{\scrR}(X,f)}\arrow{s,l,A}{\alpha} \\
\node{}\node{{\mathsf{ Att}}(X,f)} \arrow{e,l,<>}{^*} \node{{\mathsf{ Rep}}(X,f)} 
\end{diagram}
\end{equation}
is a commutative diagram of distributive lattices where $\imath$ denotes  inclusion.
\end{theorem}

The proof of Theorem~\ref{thm:commutative-diagram} follows directly from Theorem~\ref{thm:first-evalf}, the following two lemmas, and the use of  duality between attractors and repellers to obtain the same lemmas for repellers.

\begin{lemma}
\label{lem:commute1}\label{prop:commute1}
Let ${\mathcal F}\colon{\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ be an outer approximation for a continuous mapping $f\colon X \to X$, and
let ${\mathcal U}\in {\mathsf{ASet}}({\mathcal X},{\mathcal F})$. Then $\omega(|{\mathcal U}|) = \omega(|{{\bm{\omega}}}({\mathcal U})|)$.
\end{lemma}

\begin{proof}
From Proposition \ref{prop:combomega}(iv) we have that 
${\bm{\omega}}({\mathcal U}) = {\mathcal F}^k({\mathcal U})$, for some $k$ large enough.
Set $S =  \omega(|{\mathcal U}|,f)$. Then $f(S) = S$, and
\[
S = f^k(S) \subset f^k(|{\mathcal U}|) \subset |{\mathcal F}^k({\mathcal U})| = |{\bm{\omega}}({\mathcal U})|,
\]
which proves the lemma.
\end{proof}

\begin{lemma}
\label{lem:latt-latt2}
The mapping  $\omega(|\cdot|)\colon{\mathsf{ Att}}({\mathcal X},{\mathcal F}) \to {\mathsf{ Att}}(X,f)$ is a lattice homomorphism.
\end{lemma}

\begin{proof}
The property for $\vee = \cup$ is obvious. Therefore, we restrict the proof to $\wedge$.
Let ${\mathcal A},{\mathcal A}'\in {\mathsf{ Att}}({\mathcal X},{\mathcal F})$.
We have that 
\[
\omega(|{\mathcal A}\wedge {\mathcal A}'|) \subset \omega(|{\mathcal A}\cap {\mathcal A}'|) = \omega(|{\mathcal A}|\wedge|{\mathcal A}'|) = \omega(|{\mathcal A}|) \wedge \omega(|{\mathcal A}'|)
=A\wedge A',
\]
where $A = \omega(|{\mathcal A}|)$ and $A' = \omega(|{\mathcal A}|')$.
Conversely, since $A\subset \mbox{\rm int\,}(|{\mathcal A}|)$ and $A' \subset \mbox{\rm int\,}(|{\mathcal A}'|)$, we have
\[
A\cap A' \subset \mbox{\rm int\,}(|{\mathcal A}|) \cap \mbox{\rm int\,}(|{\mathcal A}'|) = \mbox{\rm int\,}(|{\mathcal A}|\cap|{\mathcal A}'|) \subset {\rm cl}\,}%{\text{cl}\bigl(\mbox{\rm int\,}(|{\mathcal A}|\cap|{\mathcal A}'|) \bigr) = |{\mathcal A}\cap{\mathcal A}'|,
\]
and therefore $A\wedge A' \subset \omega(|{\mathcal A}\cap{\mathcal A}'|) = \omega(|{\bm{\omega}}({\mathcal A}\cap{\mathcal A}')|) = 
\omega(|{\mathcal A}\wedge{\mathcal A}'|)$ by Lemma \ref{lem:commute1}.
Combining the inclusions proves the lemma.
\end{proof}

\begin{remark}
\label{rmk:other2}
Note that the evaluation map $|\cdot|\colon{\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})\to{\mathsf{ ANbhd}}_{\scrR}(X,f)$ can be restricted to ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$,
since every attractor is forward invariant. However, ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$ is not a sublattice of ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$,
since the lattice operations are different; ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ is a lattice under union and intersection, but
the $\wedge$ operation for ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$ is ${\mathcal A}\wedge{\mathcal A}'={\bm{\omega}}({\mathcal A}\cap{\mathcal A}')$.
In particular
$$
|{\mathcal A}\wedge{\mathcal A}'|=|{\bm{\omega}}({\mathcal A}\cap{\mathcal A}')|\subset|{\mathcal A}\cap{\mathcal A}'|=|{\mathcal A}|\wedge|{\mathcal A}'|
$$
but $|{\mathcal A}\wedge{\mathcal A}'|$ need not be equal to $|{\mathcal A}|\wedge|{\mathcal A}'|$ in general.
Therefore we cannot replace ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ by ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$ in Diagram~$(\ref{diag:AR2})$.
The relationship between ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$ and ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ is shown in Diagram (\ref{diag:comm-liftfull}).
\end{remark}



\subsection{Approximating dynamical systems}
\label{subsec:approximationDS}

In this section we address the question of how to approximate a general dynamical system $\varphi\colon {\mathbb{T}}^+\times X \to X$. 
If the time parameter ${\mathbb{T}} ={\mathbb{Z}}$, then the dynamical system is generated by the continuous map 
\[
f(\cdot) := \varphi(1,\cdot)\colon X\to X.
\]
In this case the dynamical system is represented  by a (weak) outer approximation (Definition~\ref{defn:outerapprox})
and the results of Section~\ref{subsec:at-rep-neigh} apply.
Thus, for the remainder of this section we assume that ${\mathbb{T}} ={\mathbb{R}}$, for which the question of choosing an appropriate
representation is more subtle.
For the definition of alpha and omega limit sets, and attractors and repellers we refer to \cite{KMV-1a}.

Recall that  a set $U\subset X$ is an {\em attracting neighborhood} for $\varphi\colon {\mathbb{R}}^+\times X\to X$ if
$\omega(U,\varphi) \subset \mbox{\rm int\,}(U)$. A \emph{trapping region}  is a  forward invariant attracting neighborhood. 
 A set $A\subset X$ is an \emph{attractor}  if there exists an attracting neighborhood $U$  such that
$A=\Inv (U,\varphi)$ in which case $A = \omega(U,\varphi)$.
Repelling regions/neighborhoods and repellers can be define analogously, cf.\ \cite{KMV-1a}.
The notion for attracting and repelling neighborhoods is ${\mathsf{ ANbhd}}(X,\varphi)$ and ${\mathsf{ RNbhd}}(X,\varphi)$, cf.\ \cite{KMV-1a}.



\begin{remark}
\label{rmk:isol}
Attractors and  repellers are examples of isolated invariant sets. In general, an  invariant set $S\subset X$ 
is an \emph{isolated invariant set} if there exist a neighborhood $U\subset X$ such that $
S = \Inv(U,\varphi) \subset \mbox{\rm int\,}(U)$. The latter is called an i\emph{solating neighborhood}.
The notion of isolated invariant set is also of importance beyond attractors and repellers.
\end{remark}


The following lemma provides a relationship between  trapping regions for time-$\tau$ maps and  attracting neighborhoods for $\varphi$. 

\begin{lemma}
\label{lem:att-aux1}
If $U$ is a trapping region for the time-$\tau$ map $f(\cdot)=\varphi(\tau,\cdot)$, then $U$ is an attracting neighborhood
for $\varphi$.
\end{lemma}




\begin{proof}
Let $U$ be a trapping region for $f$ and let $A = \omega(U,f)$ denote the associated attractor.   
Set $U^\tau = \varphi([0,\tau],U)$. 
The first step of the proof is to show that $U^\tau$ is forward invariant under $\varphi$.
Observe that
\begin{equation*}
\begin{aligned}
\varphi([n\tau,(n+1)\tau],U) &= \varphi(n\tau,\varphi([0,\tau],U))\\
&= \varphi([0,\tau],\varphi(n\tau,U)) \\
&=  \varphi([0,\tau],f^n(U)) \subset  \varphi([0,\tau],U) = U^\tau,
\end{aligned}
\end{equation*}
where the inclusion follows from the forward invariance of $U$ under $f$.
Thus $\varphi([0,\infty),U^\tau) = \varphi([1,\infty),\varphi([0,\tau],U))\subset U^\tau$.

Since $U^\tau$ is forward invariant and $U^\tau = \varphi([0,\tau],U)$,
\[
\omega(U,\varphi) = \omega(U^\tau,\varphi) \subset U^\tau.
\]

Observe that 
\[
{\rm cl}\,}%{\text{cl}\left(\bigcup_{k\geq n} f^k(U)\right)\subset {\rm cl}\,}%{\text{cl}(\varphi([n,\infty),U)).
\]
Thus
\[
A = \bigcap_{n\ge 0} {\rm cl}\,}%{\text{cl}\bigl( \bigcup_{k\ge n} f^k(U)\bigr)  \subset 
\bigcap_{n\ge 0}{\rm cl}\,}%{\text{cl}(\varphi([n,\infty),U)) = \omega(U,\varphi).
\]

Since $A$ is the maximal isolated invariant set for the time $\tau$-map $f$ in $U$, it follows from \cite[Theorem 1]{Mrozek1} that $A$ is the maximal isolated invariant set for $\varphi$ in $U$. In particular,
\[
\omega(U,\varphi)= A \subset \mbox{\rm int\,}(U)
\]
and hence $U$ is an attracting neighborhood. 
\end{proof}




\begin{proposition}
\label{prop:discr-att-to-varphi3}
Let ${\mathcal F}\colon {\mathcal X} \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ be an weak outer approximation for a time-$\tau$ mapping $f=\varphi(\tau,\cdot)$. Then,
\begin{enumerate}
\item[(i)] if ${\mathcal U}\subset {\mathcal X}$ is a forward invariant set for ${\mathcal F}$, then $U=|{\mathcal U}|$ is an attracting neighborhood for  $\varphi$, and 
\item[(ii)] if ${\mathcal U}\subset {\mathcal X}$ is a backward invariant set for ${\mathcal F}$, then $U=|{\mathcal U}|$ is a repelling neighborhood for  $\varphi$.
\end{enumerate}
\end{proposition}


\begin{proof}
Since $|{\mathcal U}|$ is a trapping region for $f$ by Proposition~\ref{prop:discr-att-to-varphi1},  Lemma~\ref{lem:att-aux1} imply that $\omega(|{\mathcal U}|,\varphi) \subset \mbox{\rm int\,}|{\mathcal U}|$,  which proves that $U= |{\mathcal U}|$ is an attracting
neighborhood for $\varphi$.

If ${\mathcal U}\in {\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$, then ${\mathcal U}^c\in {\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$, and thus $|{\mathcal U}^c| \in {\mathsf{ ANbhd}}(X,\varphi)$. By  \cite[Corollary 3.26]{KMV-1a} we have that ${\rm cl}\,}%{\text{cl} \left(\supp{{\mathcal U}^c}^c\right)\in {\mathsf{ RNbhd}}(X,\varphi)$. Therefore,
\[
 |{\mathcal U}^c|^{\bigstar} ={\rm cl}\,}%{\text{cl} |{\mathcal U}^c|^c = |{\mathcal U}^{cc}| = |{\mathcal U}| \in {\mathsf{ RNbhd}}(X,\varphi),
\]
which proves the second statement.
\end{proof}

For attracting and repelling sets we can prove a similar statement, if we consider strong outer approximations instead of 
weak outer approximations.

\begin{proposition}
\label{prop:discr-att-to-varphi4}
Let ${\mathcal F}\colon {\mathcal X} \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ be a  outer approximation for a time-$\tau$ mapping $f=\varphi(\tau,\cdot)$. Then,
\begin{enumerate}
\item[(i)] if ${\mathcal U}\subset {\mathcal U}$ is an attracting set for ${\mathcal F}$, then $U=|{\mathcal U}|$ is an attracting neighborhood for  $\varphi$, and
\item[(ii)] if ${\mathcal U}\subset {\mathcal U}$ is a repelling set for ${\mathcal F}$, then $U=|{\mathcal U}|$ is a repelling neighborhood for  $\varphi$.
\end{enumerate}
\end{proposition}

\begin{proof}
If ${\mathcal U}\in {\mathsf{ASet}}({\mathcal X},{\mathcal F})$, then from the proof of Proposition \ref{prop:discr-att-to-varphi2} it follows that
$\varphi(k\tau,{\rm cl}\,}%{\text{cl} |{\mathcal U}|) \subset \mbox{\rm int\,} |{\mathcal U}|$. From the proof of Lemma \ref{lem:att-aux1} we then derive that $|{\mathcal U}|$ is
an attracting neighborhood for $\varphi$.

Proving that the same holds for ${\mathcal U}\in {\mathsf{RSet}}({\mathcal X},{\mathcal F})$ follows in the same way as in the proof of Proposition 
\ref{prop:discr-att-to-varphi3}.
\end{proof}

From the above results we conclude that
\[
{\mathsf{ Att}}(X,\varphi) = {\mathsf{ Att}}(X,f)\quad\hbox{and}\quad {\mathsf{ Rep}}(X,\varphi) = {\mathsf{ Rep}}(X,f).
\]

The fact that ${\mathsf{ Rep}}(X,\varphi) = {\mathsf{ Rep}}(X,f)$ as sets also implies that they are the same as lattices, since the binary operations are $\cap$ and $\cup$. This implies that $\mathop{\rm id }\nolimits\colon {\mathsf{ Rep}}(X,\varphi) \to {\mathsf{ Rep}}(X,f)$ is a lattice isomorphism.
For attractors, we have the same result.
\begin{corollary}
\label{for:sameA}
The identity $\mathop{\rm id }\nolimits\colon {\mathsf{ Att}}(X,\varphi) \to {\mathsf{ Att}}(X,f)$ is a lattice isomorphism.
\end{corollary}

\begin{proof}
Since  as posets $\bigl({\mathsf{ Att}}(X,\varphi),\subset\bigr) = \bigl({\mathsf{ Att}}(X,f),\subset\bigr)$, it follows that $A \wedge A'$ in ${\mathsf{ Att}}(X,\varphi)$ is the same as $A\wedge A'$ in ${\mathsf{ Att}}(X,f)$.
\end{proof}


Since the evaluation mapping ${\mathcal U} \mapsto |{\mathcal U}|$ yields regular closed sets and is a Boolean homomorphism,  we can summarize
the above propositions in the following commuting diagram. 


\begin{equation}
\label{diag:AR2a}
\begin{diagram}
\node{}\node{{\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})} \arrow{e,l,<>}{^c} \arrow{s,l,V}{\imath} \arrow{sw,l,A}{{\bm{\omega}}}\node{{\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})} \arrow{s,r,V}{\imath}\arrow{se,l,A}{{\bm{\alpha}}}	\\
\node{{\mathsf{ Att}}({\mathcal X},{\mathcal F})}\arrow{sse,r}{\omega(|\cdot|)}\node{{\mathsf{ASet}}({\mathcal X},{\mathcal F})}\arrow{s,l,V}{|\cdot|}\arrow{w,l,A}{{\bm{\omega}}}\arrow{e,l,<>}{^c} 
\node{{\mathsf{RSet}}({\mathcal X},{\mathcal F})}\arrow{s,l,V}{|\cdot|}\arrow{e,l,A}{{\bm{\alpha}}}\node{{\mathsf{ Rep}}({\mathcal X},{\mathcal F})} \arrow{ssw,r}{\alpha(|\cdot|)}	\\
\node{}\node{{\mathsf{ ANbhd}}_{\scrR}(X,\varphi)}\arrow{s,l,A}{\omega}\arrow{e,l,<>}{^{\bigstar}} \node{{\mathsf{ RNbhd}}_{\scrR}(X,\varphi)}\arrow{s,l,A}{\alpha} \\
\node{}\node{{\mathsf{ Att}}(X,\varphi)} \arrow{e,l,<>}{^*} \node{{\mathsf{ Rep}}(X,\varphi)} 
\end{diagram}
\end{equation}







\section{Convergence and realization of algebraic structures via multivalued maps}
\label{sec:str-conv}
Convergent sequences of  outer approximations can be constructed as indicated in \cite{KMV0}.
For our purposes, we will use a modified notion of a convergent sequence of outer approximations and establish 
that arbitrary finite attractor lattices can be realized along such a sequence. We start with recalling some facts about outer approximations from \cite{KMV0}.



\subsection{Convergent sequences of  outer approximations}
\label{subsec:conv-fam}
Given a continuous map $f\colon X\to X$ and a grid indexed by ${\mathcal X}$, \cite[Proposition 2.5]{KMV0} implies that there is a natural choice of   outer approximation which is minimal, namely
\[
{\mathcal F}_{{\rm o}}(\xi) := \{ \eta\in {\mathcal X}~|~ f(|\xi|) \cap |\eta| \not =\varnothing\}.
\]
We refer to this as the \emph{minimal multivalued mapping} for $f$ with respect to ${\mathcal X}$.



A multivalued mapping ${\mathcal F}$ \emph{encloses}  a multivalued mapping ${\mathcal F}'$ if ${\mathcal F}'(\xi) \subset {\mathcal F}(\xi)$ for all $\xi\in {\mathcal X}$.
Observe that this defines a partial order on multivalued mappings, which we  denote by ${\mathcal F}'\le {\mathcal F}$. 


\begin{lemma}
\label{lem:enclose10}
(\cite[Corollary 2.6]{KMV0})
A multivalued mapping ${\mathcal F}\colon{\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ is a  outer approximation for $f\colon X\to X$
if and only if ${\mathcal F}$ encloses
the minimal multivalued mapping ${\mathcal F}_{{\rm o}}$.
\end{lemma}

Outer approximations are naturally generated by numerical approximations of $f$.
For $U\subset X$  let $\mathop{\rm cov}_{{\mathcal X}}(U):=\{\eta\in{\mathcal X}~|~U\cap |\eta|\neq\varnothing\}$. In this notation ${\mathcal F}_{{\rm o}}(\xi)=\mathop{\rm cov}_{{\mathcal X}}(f(|\xi|))$.
More generally, let ${\bm{\varrho}}\colon {\mathcal X} \to [0,\infty)$ then by Lemma~\ref{lem:enclose10}
\[
{\mathcal F}_{\bm\varrho}(\xi) := \bigl\{ \eta\in {\mathcal X}~|~ B_{\rho(\xi)}\bigl(f(|\xi|)\bigr) \cap |\eta| \not =\varnothing\bigr\}=\textstyle{\mathop{\rm cov}_{{\mathcal X}}}(B_{\rho(\xi)}(f(|\xi|)))
\]
is an outer enclosure. 
In the case ${\bm{\varrho}}(|\xi|)=\rho$ is constant for all $\xi\in{\mathcal X}$, we call ${\mathcal F}_\rho$ the \emph{$\rho$-minimal multivalued mapping} for $f$.
Observe that with this multivalued map the 'errors' in the image of $f$ are always smaller than $\rho$ plus the grid size expressed by
\begin{equation}
\label{eqn:diam}
{\rm diam}\,({\mathcal X}) = \max \{{\rm diam}\,(|\xi|)~|~\forall~\xi\in {\mathcal X}\}.
\end{equation}

To define  convergent sequences of outer approximations we make use of  multivalued mappings ${\mathcal F}$ that satisfy the {\em squeezing} condition
\begin{equation}
\label{eqn:squeeze1}
{\mathcal F}_{{\rm o}} \le {\mathcal F}\le {\mathcal F}_{{\rho}}.
\end{equation}
Outer approximations can always be enclosed by some $\rho$-multivalued mapping. 
Indeed, by choosing $\rho = {\rm diam}\,(X)$, we have that ${\mathcal F}_{{\rho}}$ encloses every 
outer approximation ${\mathcal F}$. 

\begin{definition}
\label{defn:conv10}
Let ${\mathcal F}_n\colon {\mathcal X}_n\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$}{\mathcal X}_n$ be a sequence of outer approximations for $f\colon X\to X$. Then 
${\mathcal F}_n$ \emph{converges} if ${\rm diam}\,({\mathcal X}_n)\to 0$ and if there exist $\rho_n$-minimal maps ${\mathcal F}_{{\rho}_n}$ with $\rho_n\to 0$ such that
\[
{\mathcal F}_{{\rm o},n} \le {\mathcal F}_n\le {\mathcal F}_{{\rho}_n}\;\hbox{on ${\mathcal X}_n$.}
\]
\end{definition}


The following proposition extends the convergence result for minimal multivalued mappings of \cite[Proposition~5.4]{KMV0} 
to $\rho$-minimal multivalued mappings.
\begin{proposition}
\label{prop:conv2}
Let $\epsilon>0$ and $k>0$. There exists $\delta >0$,
such that for every grid indexed by ${\mathcal X}$, with ${\rm diam}\,({\mathcal X})<\delta$, and every $\rho$-minimal mapping with
$\rho<\delta$ we have
\begin{equation}
\label{eqn:enclose3}
|{\mathcal F}_{{\rho}}^k(\xi)| \subset B_\epsilon (f^k(|\xi|)) \quad\hbox{and}\quad |{\mathcal F}_{{\rho}}^{-k}(\xi)| \subset B_\epsilon (f^{-k}(|\xi|))
\end{equation}
for all $\xi\in {\mathcal X}$.
\end{proposition}

\begin{proof} First consider forward dynamics.
Since $X$ is a compact metric space,
 $f\colon X\to X$ is uniformly continuous so that for every $e>0$ there exists a $d>0$ such that
\begin{equation}
\label{eqn:uniform1}
f(B_{d}(U)) \subset B_e(f(U))
\end{equation}
for every $U\subset X$. 
Let $\delta_0 = \epsilon$.
From Equation (\ref{eqn:uniform1}) choose $\delta_i>0$ for $i=1,\cdots, k-1$ inductively so that
given $\delta_{i-1}$
\begin{equation}
\label{eqn:uniform2}
f\bigl(B_{\delta_i}(f^{k-i}(|\xi|)) \bigr)\subset B_{\delta_{i-1}/3}(f^{k-i+1}(|\xi|))
\end{equation}
for all $\xi\in {\mathcal X}$.
Define $\delta  = \min_{0\le i\le k-1}\{\delta_i/3\}$. 

Let ${\mathcal X}$ be the indexing set for  a grid on $X$ with ${\rm diam}\,({\mathcal X}) <\delta$, and consider ${\mathcal F}_\rho$ on ${\mathcal X}$ with $\rho<\delta$.
For the evaluation $|{\mathcal F}_{{\rho}}(\xi)|$ we have
\begin{equation}
\label{eqn:uniform3}
|{\mathcal F}_{{\rho}}(\xi)| \subset B_{\delta+\rho}(f(|\xi|)) \subset  B_{2\delta}(f(|\xi|))\subset
 B_{\delta_{k-1}}(f(|\xi|)).
 \end{equation}
We now proceed inductively. Recall that ${\mathcal F}_{{\rho}}^2(\xi) = \bigcup_{\eta\in {\mathcal F}_{{\rho}}(\xi)} {\mathcal F}_{{\rho}}(\eta)$, and for $\eta\in {\mathcal F}_{{\rho}}(\xi)$ Equation (\ref{eqn:uniform3}) implies
$\eta\subset B_{\delta_{k-1}}(f(|\xi|))$. Combining this with (\ref{eqn:uniform2}) we obtain
\[
f(|\eta|) \subset f\bigl( B_{\delta_{k-1}}(f(|\xi|)) \bigr) \subset B_{\delta_{k-2}/3}(f^2(|\xi|)),
\]
and by (\ref{eqn:uniform3})      applied to $\eta$ we have        
\[
|{\mathcal F}_{{\rho}}(\eta)| \subset B_{2\delta}(f(|\eta|)).
\]
Therefore, 
\[
|{\mathcal F}_{{\rho}}^2(\xi)| = \bigcup_{\eta\in {\mathcal F}_{{\rho}}(\xi)} |{\mathcal F}_{{\rho}}(\eta)| \subset B_{\delta_{k-2}/3+2\delta}(f^2(|\xi|))\subset B_{\delta_{k-2}}(f^2(|\xi|)).
\]

In the general case $i\ge 2$, 
for $\eta\in {\mathcal F}_{{\rho}}^{i-1}(\xi)$ we have $\eta\subset B_{\delta_{k-i+1}}(f^{i-1}(|\xi|))$ and $f(\eta) \subset 
B_{\delta_{k-i}/3}(f^i(|\xi|))$. This yields
\[
|{\mathcal F}_{{\rho}}^i(\xi)| = \bigcup_{\eta\in {\mathcal F}_{{\rho}}^{i-1}(\xi)} |{\mathcal F}_{{\rho}}(\eta)| \subset B_{\delta_{k-i}/3+2\delta}(f^i(|\xi|))\subset B_{\delta_{k-i}}(f^i(|\xi|)).
\]
After $k$ steps, we obtain $|{\mathcal F}_{{\rho}}^k(\xi)|\subset B_{\delta_{0}}(f^k(|\xi|))= B_{\epsilon}(f^k(|\xi|))$, which completes the proof for forward dynamics.

In the case of backward dynamics, we use the fact that for every $e>0$ there exists a $d>0$ such that
\begin{equation}
\label{eqn:uniform1back}
f^{-1}(B_{d}(U)) \subset B_e(f^{-1}(U))
\end{equation}
for every $U\subset X$, by continuity of $f$ and compactness of $X$.
Moreover, we will use the following characterization of ${\mathcal F}_\rho^{-1}$
\begin{eqnarray*}
{\mathcal F}_\rho^{-1}(\xi)&=&\{\eta\in{\mathcal X}~|~B_\rho(f(\eta))\cap|\xi|\neq\varnothing\}=\{\eta\in{\mathcal X}~|~B_\rho(|\xi|)\cap |\eta|\neq\varnothing\}\\
&=&\{\eta\in{\mathcal X}~|~|\eta|\cap f^{-1}(B_\rho(|\xi|))\neq\varnothing\}
=\textstyle{\mathop{\rm cov}_{{\mathcal X}}}(f^{-1}(B_\rho(|\xi|))).
\end{eqnarray*}

Now we proceed similarly to the previous case. Let $\delta_0 = \epsilon$.
From Equation (\ref{eqn:uniform1back}) choose $\delta_i>0$ for $i=1,\cdots, k$ inductively so that
given $\delta_{i-1}$
\begin{equation}\label{eqn:uniform2back}
f^{-1}\bigl(B_{\delta_i}(f^{-k+i}(|\xi|)) \bigr)\subset B_{\delta_{i-1}/3}(f^{-k+i-1}(|\xi|))
\end{equation}
for all $\xi\in {\mathcal X}$.
Define $\delta  = \min_{0\le i\le k}\{\delta_i/3\}$. Then, since $\rho<\delta<\delta_i$,
\begin{eqnarray}
|{\mathcal F}_\rho^{-1}(\xi)| &=& \bigl|\{\eta\in{\mathcal X}~|~|\eta|\cap f^{-1}(B_\rho(|\xi|))\neq\varnothing\}\bigr|\nonumber \\
&\subset& \bigl|\{\eta\in{\mathcal X}~|~|\eta|\cap f^{-1}(B_{\delta_{k-i+2}}(|\xi|))\neq\varnothing\}\bigr|\nonumber \\
&\subset& B_{\delta_{k-i+1}/3+\delta}(f^{-1}(|\xi|)
\label{eqn:uniform3back}
 \end{eqnarray}
for all $i=2,\ldots,k$ and $\xi\in{\mathcal X}$.

We now proceed inductively. Recall that ${\mathcal F}_{{\rho}}^{-2}(\xi) = \bigcup_{\eta\in {\mathcal F}_{{\rho}}^{-1}(\xi)} {\mathcal F}_{{\rho}}^{-1}(\eta)$, and for $\eta\in {\mathcal F}_{{\rho}}^{-1}(\xi)$ Equation (\ref{eqn:uniform3back}) implies
$\eta\subset B_{\delta_{k-1}/3+\delta}(f^{-1}(|\xi|))$. Combining this with (\ref{eqn:uniform2back}) we obtain
\begin{eqnarray*}
f^{-1}(B_\rho(|\eta|)) &\subset& f^{-1}\bigl( B_{\delta_{k-1}/3+2\delta}(f^{-1}(|\xi|)) \bigr) \\
&\subset& f^{-1}\bigl( B_{\delta_{k-1}}(f^{-1}(|\xi|)) \bigr) \subset B_{\delta_{k-2}/3}(f^{-2}(|\xi|)).
\end{eqnarray*}
Therefore, 
\[
|{\mathcal F}_{{\rho}}^{-2}(\xi)| = \bigcup_{\eta\in {\mathcal F}_{{\rho}}^{-1}(\xi)} |{\mathcal F}_{{\rho}}^{-1}(\eta)| \subset B_{\delta_{k-2}/3+\delta}(f^{-2}(|\xi|)).
\]

In the general case $i\ge 2$, 
for $\eta\in {\mathcal F}_{{\rho}}^{-i+1}(\xi)$ we have $\eta\subset B_{\delta_{k-i+1}/3+\delta}(f^{-i+1}(|\xi|))$ and $f^{-1}(B_\rho(|\eta|)) \subset 
B_{\delta_{k-i}/3}(f^{-i}(|\xi|))$. This yields
\[
|{\mathcal F}_{{\rho}}^{-i}(\xi)| = \bigcup_{\eta\in {\mathcal F}_{{\rho}}^{-i+1}(\xi)} |{\mathcal F}_{{\rho}}^{-1}(\eta)| \subset B_{\delta_{k-i}/3+\delta}(f^{-i}(|\xi|)).
\]
After $k$ steps, we obtain $|{\mathcal F}_{{\rho}}^{-k}(\xi)|\subset B_{\delta_{0}/3+\delta}(f^{-k}(|\xi|))\subset B_{\delta_0}(f^{-k}(|\xi|))=B_{\epsilon}(f^{-k}(|\xi|))$, which completes the proof for backward dynamics.
\end{proof}



\begin{proposition}
\label{prop:conv11}
Let ${\mathcal F}_n\colon{\mathcal X}_n\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$}{\mathcal X}_n$ be a convergent sequence of outer approximations for $f\colon X\to X$.
For every $\epsilon>0$ and every $k>0$, there exists $N>0$ such that
\begin{equation*}
|{\mathcal F}_n^k(\xi)| \subset B_\epsilon (f^k(|\xi|)) \quad\hbox{and}\quad |{\mathcal F}_n^{-k}(\xi)| \subset B_\epsilon (f^{-k}(|\xi|)) 
\end{equation*}
for all $n\ge N$ and for all $\xi\in {\mathcal X}_n$.
\end{proposition}

\begin{proof}
We start with the observation that ${\mathcal F}_n^k \le{\mathcal F}_{{\rho}_n}^k$. Indeed, suppose true for $k-1$, then
\[
{\mathcal F}_n^k(\xi) = \bigcup_{\eta\in {\mathcal F}_n^{k-1}(\xi)} {\mathcal F}_n(\eta) \subset \bigcup_{\eta\in {\mathcal F}_n^{k-1}(\xi)}{\mathcal F}_{{\rho}_n}(\eta)
\subset \bigcup_{\eta\in {\mathcal F}_{{\rho}_n}^{k-1}(\xi)} {\mathcal F}_{{\rho}_n}(\eta) = {\mathcal F}_{{\rho}_n}^k(\xi).
\]
To complete the proof we choose $\delta>0$ such that the conclusion of Proposition \ref{prop:conv2} holds.
Choose $N>0$ such that $\rho_n<\delta$ for all $n\ge N_1$, and choose $N_2>0$ such that
${\rm diam}\,({\mathcal X}_n) \le \delta$ for all $n\ge N_2$. Choosing $N= \max\{N_1,N_2\}$
completes the proof.
\end{proof}


\subsection{Realization of attractors and repellers}
\label{subsec:resol}

Theorem~\ref{thm:commutative-diagram} guarantees that forward invariant sets and attractors for an outer approximation ${\mathcal F}$ of $f$
yield attracting neighborhoods  for $f$.
The converse statement is that  every attractor of a dynamical system can be realized  by an outer approximation provided the diameter of the grid is sufficiently small.  
Our goal is the stronger result that  the lattice structure of attractors can be realized.
We start by generalizing \cite[Proposition~5.5]{KMV0} from the context of minimal multivalued maps to the setting of convergent sequences of outer approximations.

\begin{proposition}
\label{prop:conv-latt-3}
Let ${\mathcal F}_n\colon {\mathcal X}_n \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}_n$ be a convergent sequence of outer approximations for $f$, and let $U\in {\mathsf{ ANbhd}}(X,f)$ or $U\in {\mathsf{ RNbhd}}(X,f)$.
Then there exists 
$N>0$ such that for all $n\ge N$ the set  ${\mathcal U} = \mathop{\rm cov}_{{\mathcal X}_n}(U)$ is an attracting or repelling set  for ${\mathcal F}_n$, respectively.
\end{proposition}

\begin{proof}
We consider the case $U\in {\mathsf{ ANbhd}}(X,f)$, the other case is analogous.
Let $A = \omega(U)$ and let $0<d < \frac{1}{2} {\rm dist}\,(U,A^*)$.
Since $U$ is an attracting neighborhood by \cite[Proposition 3.21]{KMV-1a}, there exists $K>0$ such that $f^k(B_d(U))
\subset \mbox{\rm int\,}(U)$ for all $k\ge K$.
This implies that for $K \le k\le 2K$ there exists an $\epsilon>0$ such that
$B_\epsilon\bigl(f^k(B_d(U))\bigr)
\subset \mbox{\rm int\,}(U)$.
By Proposition \ref{prop:conv11} we can choose $N$ such that $|{\mathcal F}_n^k(|\xi|)| \subset B_\epsilon(f^k(|\xi|))$ for all
$K \le k \le 2K, \xi \in {\mathcal X}_n,$ and $n\ge N$. We also choose $N$ such that ${\mathcal U}=\mathop{\rm cov}_{{\mathcal X}_n}(U) \subset
B_d(U)$. This yields
\[
|{\mathcal F}_n^k({\mathcal U})|\subset \bigcup_{\xi\in {\mathcal U}} B_\epsilon(f^k(|\xi|))\subset \mbox{\rm int\,}(U) \subset |{\mathcal U}|,
\]
which implies that ${\mathcal F}_n^k({\mathcal U})\subset {\mathcal U}$ for all $K\le k\le 2K$. Thus 
${\mathcal F}_n^k({\mathcal U})\subset {\mathcal U}$ for all $k \ge K$, since, for example, ${\mathcal F}_n^{2K+k}=({\mathcal F}_n^K)^{K+k}$ for all
$0<k\le K$. Using Proposition \ref{prop:char-attset}, this proves that ${\mathcal U}$ is an attracting set when 
$n$ is sufficiently large, i.e. ${\rm diam}\,({\mathcal X}_n)$ is sufficiently small.
\end{proof}

This leads to the following corollary, which in the case of the minimal multivalued map
 is also a consequence of  \cite[Proposition~5.5]{KMV0}.


\begin{corollary}
\label{cor:resolution1}
Let ${\mathcal F}_n\colon {\mathcal X}_n\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}_n$ be convergent sequence of outer approximations for $f$, and let $A\in {\mathsf{ Att}}(X,f)$ be
an attractor for $f$. For every $0< d < \frac{1}{2} {\rm dist}\,(A,A^*)$ there exists an $N>0$ such that for every
$n\ge N$ there is an attractor ${\mathcal A}_n \in {\mathsf{ Att}}({\mathcal X}_n,{\mathcal F}_n)$ and a repeller ${\mathcal R}_n \in {\mathsf{ Rep}}({\mathcal X}_n,{\mathcal F}_n)$ with
\[
A = \omega(|{\mathcal A}_n|)\subset |{\mathcal A}_n| \subset B_d(A)\quad\hbox{and}\quad A^* = \alpha(|{\mathcal R}_n|)\subset |{\mathcal R}_n| \subset B_d(A^*).
\]
\end{corollary}

\begin{proof}
Fix $0< d < \frac{1}{2} {\rm dist}\,(A,A^*)$. By Proposition~\ref{prop:conv-latt-3}, there exists $N>0$ such that ${\mathcal U}_n = \mathop{\rm cov}_{{\mathcal X}_n}(B_{d/2}(A))$ is an attracting set for ${\mathcal F}_n$ and ${\mathcal V}_n = \mathop{\rm cov}_{{\mathcal X}_n}(B_{d/2}(A^*))$ 
is a repelling set for ${\mathcal F}_n$
for all $n\ge N$, since $B_{d/2}(A)$ and $B_{d}(A)$ are attracting neighborhoods, and 
$B_{d/2}(A^*)$ and $B_{d}(A^*)$ are repelling neighborhoods.
Choosing $N$ large enough so that ${\rm diam}\,({\mathcal X}_n)<d/2$ as well implies that
$|{\mathcal U}_n|\subset B_d(A)$ and $|{\mathcal V}_n|\subset B_d(A^*)$. 
Moreover, if ${\mathcal A}_n={\bm{\omega}}({\mathcal U}_n)$ and ${\mathcal R}_n={\bm{\alpha}}({\mathcal V}_n)$, then 
${\mathcal A}_n\subset {\mathcal U}_n$ and ${\mathcal R}_n\subset {\mathcal V}_n$ implies $|{\mathcal A}_n|\subset B_d(A)$ and $|{\mathcal R}_n|\subset B_d(A^*)$.
By Proposition~\ref{lem:commute1},   $\omega(|{\mathcal A}_n|)=\omega(|{\bm{\omega}}({\mathcal U}_n)|)=\omega(|{\mathcal U}_n|)$. 
Moreover $A=\omega(B_{d/2}(A))\subset\omega(|{\mathcal U}_n|)\subset\omega(B_d(|{\mathcal U}_n|)=A$ so that
$A=\omega(|{\mathcal A}_n|)$. By Proposition~\ref{prop:discr-att-to-varphi2}, $|{\mathcal A}_n|$ is an attracting neighborhood 
so that $\omega(|{\mathcal A}_n|)\subset|{\mathcal A}_n|$, which completes the proof for the attractor. The same argument holds for the repeller.
\end{proof}

\subsection{Posets, Lattices and Grids}
\label{subsec:PLG}
In the previous subsection we established that any attractor or repeller in a system can be realized via a multivalued map if the diameter of the grid is sufficiently small.  Furthermore, these discrete attractors and repellers correspond to arbitrarily narrow attracting and repelling neighborhoods, respectively.
To prove that the lattice structures can be realized via multivalued maps requires more subtle constructions based on the lattice and poset structures of grids and multivalued maps.

We begin by providing a systematic means of generating convergent sequences of outer approximations.
For the sake of  simplicity we will abuse notation throughout this subsection and often refer to the grid $\setof{\supp{\xi}\mid \xi\in{\mathcal X}}$  by its indexing set ${\mathcal X}$.



\begin{definition}
\label{defn:refinement}
A grid ${\mathcal X}'$ on $X$ is a {\em refinement of ${\mathcal X}$}, denoted by ${\mathcal X}'\le {\mathcal X}$, if for every $\xi'\in {\mathcal X}'$ there exists exactly one $\xi\in {\mathcal X}$ such that
$|\xi'|\subset |\xi|$. 
\end{definition}

Refinement defines a partial order on the space of grids ${\mathsf{Grid}}(X)$, which can be used to compare multivalued maps.

\begin{definition}
\label{defn:cofil1}
Let ${\mathcal X}' \le {\mathcal X}$ be grids on $X$ and let ${\mathcal F}\colon {\mathcal X} \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ and ${\mathcal F}\colon{\mathcal X}'
\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}'$ be multivalued mappings. A partial order on multivalued mappings and grids is given by
\[
{\mathcal F}'\le {\mathcal F} \quad\text{if}\quad \supp{{\mathcal F}'({\mathcal U}')} \subseteq \supp{{\mathcal F}({\mathcal U})}\ \text{for all}\ \supp{{\mathcal U}'} = \supp{{\mathcal U}}
\]
where ${\mathcal U}'\in {\mathsf{Set}}({\mathcal X}')$ and ${\mathcal U}\in {\mathsf{Set}}({\mathcal X})$.
\end{definition}



\begin{definition}
\label{defn:commref}
The \emph{common refinement} of ${\mathcal X}$ and ${\mathcal X}'$ is the grid 
\[
\{|\xi|\wedge|\xi'|~|~\hbox{$\xi\in{\mathcal X}$ and $\xi'\in{\mathcal X}'$ with $|\xi|\wedge|\xi'|\neq\varnothing$}\}.
\]
The set of all pairs $\xi$ and $\xi'$ for which $|\xi|\wedge |\xi'|\neq\varnothing$ is
 an indexing set for this grid. We denote this indexing set by ${\mathcal X}\wedge{\mathcal X}'$ and an individual index
by $\xi\wedge\xi'$. 
\end{definition}
Note that whenever the index $\xi\wedge\xi'$ is used, it is implied that $|\xi|\wedge|\xi'|\neq\varnothing.$

The \emph{common refinement of multivalued mappings}  ${\mathcal F}\colon {\mathcal X} \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ and ${\mathcal F}\colon{\mathcal X}'
\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}'$ is given by
\begin{equation}
\label{eqn:common-milt}
({\mathcal F}\wedge {\mathcal F}')(\xi\wedge\xi') := \{ \eta\wedge\eta' ~|~\eta\in {\mathcal F}(\xi),~\eta'\in {\mathcal F}'(\xi)\}.
\end{equation} 
Observe that ${\mathcal F}\wedge {\mathcal F}'\colon {\mathcal X}\wedge {\mathcal X}'\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}\wedge {\mathcal X}'$.



\begin{definition}
\label{defn:cofilt}
A \emph{cofiltration of grids} is a sequence $\{{\mathcal X}_n\}_{n\in {\mathbb{N}}_0} \subset {\mathsf{Grid}}(X)$ of refinements so that
\[
{\mathcal X}_0 \ge {\mathcal X}_1 \ge \cdots \ge {\mathcal X}_n\ge \cdots
\]
Furthermore, given a  cofiltration of grids $\{{\mathcal X}_n\}_{n\in {\mathbb{N}}_0}$, a sequence of multivalued mappings ${\mathcal F}_n\colon {\mathcal X}_n \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}_n$, which satisfies
\[
{\mathcal F}_0 \ge {\mathcal F}_1 \ge \cdots \ge {\mathcal F}_n \ge \cdots
\]
is called a \emph{cofiltration of multivalued mappings}.
The function ${\rm diam}\,\colon {\mathsf{Grid}}(X) \to {\mathbb{R}}^+$ is order-preserving so that ${\rm diam}\,({\mathcal X}') \le {\rm diam}\,({\mathcal X})$ for any pair ${\mathcal X}'\le {\mathcal X}$.
If ${\rm diam}\,({\mathcal X}_n) \to 0$ as $n\to \infty$, then a cofiltration $\{{\mathcal X}_n\}_{n\in {\mathbb{N}}_0}$ of grids is said to be \emph{contracting}.
\end{definition}


Given any sequence of grids $\{{\mathcal X}_n\}$ for which ${\rm diam}\,({\mathcal X}_n) \to 0$, we can construct a contracting cofiltration as
follows
\[
{\mathcal X}_0 \ge {\mathcal X}_0\wedge {\mathcal X}_1 \ge {\mathcal X}_0\wedge {\mathcal X}_1 \wedge {\mathcal X}_2 \ge \cdots \ge \bigwedge_{i=0}^n {\mathcal X}_i \ge \cdots .
\]
If ${\mathcal F}_n\colon {\mathcal X}_n \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}_n$ is a sequence of multivalued mappings with ${\rm diam}\,({\mathcal X}_n) \to 0$, then
\begin{equation}
\label{eqn:cofil2}
\bigwedge_{i=1}^n {\mathcal F}_i \colon \bigwedge_{i=1}^n {\mathcal X}_i \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} \bigwedge_{i=1}^n {\mathcal X}_i
\end{equation}
is a cofiltration of multivalued mappings.

From an algorithmic point of view, given a grid ${\mathcal X}_n$, one designs an algorithm to construct ${\mathcal F}_n:{\mathcal X}_n\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$}{\mathcal X}_n$.
The monotonicity of images of ${\mathcal F}_n$ required for a cofiltration does not automatically follow
from the fact that ${\mathcal X}_n$  is a cofiltration of grids, and the construction in equation~$(\ref{eqn:cofil2})$ 
is often inefficient in practical applications. From a theoretical point of view,
an important example of a convergent cofiltration of multivalued mappings is given by the $\rho$-minimal multivalued mappings on a
contracting cofiltration of grids. Theorems~\ref{thm:conv-latt-2} and~\ref{thm:conv-latt-3}
contrast what is attainable through a convergent cofiltration versus simply a convergent sequence of
multivalued mappings, see Remark~\ref{rmk:mono}.



Some properties of dynamics are preserved through cofiltrations. We only present the following which we make use of in the proof of Theorem~\ref{thm:conv-latt-2}.

\begin{proposition}
\label{prop:cofiltmap}
Let $\{{\mathcal X}_n\}_{n\in {\mathbb{N}}_0}$ be a  cofiltration of grids and let ${\mathcal F}_n\colon {\mathcal X}_n\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}_n$ be a  cofiltration of multivalued mappings.
Consider a collection of subsets ${\mathcal W}_n\subset {\mathcal X}_n$ such that $\supp{{\mathcal W}_n} = \supp{{\mathcal W}_m}\subset X$. 
If $m > n$ and ${\mathcal W}_n \in {\mathsf{ Invset}}^-({\mathcal X}_n,{\mathcal F}_n)$, then ${\mathcal W}_m \in {\mathsf{ Invset}}^-({\mathcal X}_m,{\mathcal F}_m)$.
\end{proposition}

\begin{proof}
We need to show that ${\mathcal F}_m^{-1}({\mathcal W}_m)\subset {\mathcal W}_m$. Since ${\mathcal W}_n \in {\mathsf{ Invset}}^-({\mathcal X}_n,{\mathcal F}_n)$,  it is sufficient to show that $\supp{{\mathcal F}_m^{-1}({\mathcal W}_m)} \subset \supp{{\mathcal F}_n^{-1}({\mathcal W}_n)}$ so that
\[
\supp{{\mathcal F}_m^{-1}({\mathcal W}_m)} \subset \supp{{\mathcal F}_n^{-1}({\mathcal W}_n)} \subset \supp{{\mathcal W}_n} = \supp{{\mathcal W}_m}.
\]

Let $\beta_n\in{\mathcal W}_n$ and $\beta_m\in{\mathcal W}_m$ satisfy $\supp{\beta_m} \subset \supp{\beta_n}$. 
Consider $\eta\in{\mathcal F}_m^{-1}(\beta_m)$.
By definition of cofiltration, there exists $\xi\in{\mathcal X}_n$ such that $\supp{\eta}\subset\supp{\xi}$. 

Now $\beta_m\in{\mathcal F}_m(\eta)$ which implies that
\[
\supp{\beta_m}\subset \supp{{\mathcal F}_m(\eta)}\subset\bigcup_{\supp{\zeta}\subset\supp{\xi}}|{\mathcal F}_m(\zeta)|=
\supp{{\mathcal F}_m\left(\bigcup_{\supp{\zeta}\subset\supp{\xi}}\zeta\right)} \subset |{\mathcal F}_n(\xi)|
\]
where the last inclusion follows from the definition of cofiltration. 
Since ${\mathcal F}_n(\xi)$ is a union of elements of ${\mathcal X}_n$, and $\supp{\beta_m}\subset \supp{\beta_n}$, we must have $\supp{\beta_n}\subset|{\mathcal F}_n(\xi)|$, which implies $\beta_n\in{\mathcal F}_n(\xi)$ and equivalently $\xi\in{\mathcal F}_n^{-1}(\beta_n)$. 
Hence $\xi\in{\mathcal F}_n^{-1}({\mathcal W}_n)$ and $\supp{\eta}\subset\supp{\xi}\subset \supp{{\mathcal F}_n^{-1}({\mathcal W}_n)}$. 
Thus, if  $\eta\in{\mathcal F}_m^{-1}({\mathcal W}_m)$, then $\supp{\eta}\subset \supp{{\mathcal F}_n^{-1}({\mathcal W}_n)}$, and
therefore $\supp{{\mathcal F}_m^{-1}({\mathcal W}_m)} \subset \supp{{\mathcal F}_n^{-1}({\mathcal W}_n)}$.
\end{proof}

The realization of the lattice structures of attractors and repellers is presented in the language of lifts which are defined as follows.

\begin{definition}
\label{defn:lift}
Let ${\mathsf L}$, ${\mathsf K}$, and ${\mathsf H}$ be bounded distributive lattices. Let $g\colon {\mathsf L} \rightarrowtail {\mathsf K}$ be a lattice monomorphism and $h\colon {\mathsf H}\twoheadrightarrow {\mathsf K}$ be a lattice
epimorphism. A lattice homomorphism $\ell\colon {\mathsf L}\to {\mathsf H}$ is a {\em lift of $g$ through $h$} if $g = h\circ \ell$.
\end{definition}
Observe that a lift is necessarily a lattice monomorphism.


As is made clear in the next section our goal is to construct a lift. 
To do this we make use of concepts from the theory of distributive lattices.
Recall that an element $c\in{\mathsf L}$ is 
{\em join-irreducible} if
\begin{enumerate}
\item[(a)] $c\neq 0$ and
\item[(b)] $c=a\vee b$ implies $c=a$ or $c=b$ for all $a,b\in{\mathsf L}$.
\end{enumerate}
The set of join-irreducible elements in ${\mathsf L}$ is denoted by ${\mathsf J}({\mathsf L})$.
Note that ${\mathsf J}({\mathsf L})$  is a poset as a subset of ${\mathsf L}$.
Observe that $c$ is join-irreducible if and only if there exists a unique element $a\in{\mathsf L}$ satisfying
$a<c$ and there does not exist $b\in{\mathsf L}$ such that $a<b<c$.
The element $a\in {\mathsf L}$ is called the \emph{immediate predecessor} of $c$ and denoted by
\begin{equation}
\label{eqn:immpred}
a = ^\leftarrow c.
\end{equation}


Given a finite poset ${\mathsf P}$ with partial order $\le$, then the down-set of $p\in {\mathsf P}$ is given by
$\downarrow\! p=\{q\in{\mathsf P}~|~q\le p\}$. These sets generate a finite distributive lattice
${\mathsf O}({\mathsf P})$ in ${\mathsf{Set}}({\mathsf P})$ called the lattice of {\em down-sets}.
The elements $\downarrow\! p$ are the join-irreducible elements in ${\mathsf O}({\mathsf P})$.
Birkhoff's representation theorem for finite distributive lattices ${\mathsf L}$ 
states that ${\mathsf L} \cong {\mathsf O}({\mathsf J}({\mathsf L}))$ cf.\ \cite{Davey:2002p5923}.


\begin{remark}
\label{rem:birkhoff}
Birkhoff's representation theorem
 allows us to recast the definition of $\ell$ being a lift of $g$ through $h$ via the following commutative diagram
\begin{equation}
\label{diag:lift12}
\begin{diagram}
\node{~} \node{{\mathsf H}} \arrow{s,r,A}{h}\\
\node{{\mathsf O}({\mathsf P})} \arrow{ne,l,..,V}{\ell} \arrow{e,l,V}{g}  \node{{\mathsf K}} 
\end{diagram}
\end{equation}
for any poset ${\mathsf P}$ isomorphic to ${\mathsf J}({\mathsf L})$.
For the sake of simplicity  we will abuse notation and use $\ell\colon {\mathsf L}\to {\mathsf H}$ and $\ell\colon {\mathsf O}({\mathsf P})\to {\mathsf H}$ to denote two distinct, but equivalent homomorphisms.
\end{remark}


We are interested in the case in which ${\mathsf H}$ is a Boolean algebra, or ${\mathsf H}$ is embedded in a Boolean algebra,
 and thus we want to extend  the lift
$\ell\colon {\mathsf L} \to {\mathsf H}$ to a Boolean homomorphism. To do this we make use of the Booleanization functor.  The natural extension
${\mathsf L} \hookrightarrow {\mathsf{Set}}({\mathsf J}({\mathsf L}))$ is called the Booleanization of ${\mathsf L}$ and is denoted by ${\mathsf B}({\mathsf L}) = {\mathsf{Set}}({\mathsf J}({\mathsf L}))$. Booleanization is a covariant functor and 
the induced homomorphism ${\mathsf B}(\ell) \colon {\mathsf B}({\mathsf L}) \to {\mathsf H}$ is Boolean and ${\mathsf B}(\ell)|_{\mathsf L} = \ell$, cf.\ \cite[Definition 9.5.5]{vickers} and \cite[Corollary 20.11]{miraglia}.


The combination of Birkhoff's representation theorem and the Booleanization functor allows one to give the following representation of  $\ell$:
\begin{equation}
\label{eqn:inatom}
\ell(\alpha) = \bigvee_{p\in \alpha} c_p
\end{equation}
where $c_p := \ell(\gamma) \setminus \ell(\beta)\in{\mathsf H}$ and is independent of the choice of $\beta,\gamma\in {\mathsf O}({\mathsf J}({\mathsf L}))$
for which $\gamma \setminus \beta = p$, cf.\ Theorem 2.1 and Proposition 2.3 in \cite{KMV-1a}. 
Observe that the $c_p$ are atoms of ${\mathsf H}$, i.e.\ if $p\not = p'$, then $c_p \wedge c_{p'} = 0$.

With these abstract constructions in mind, we now turn to the objects of interest. 
As is detailed in the next section, we are interested in lifts of the form $\ell\colon {\mathsf R} \to {\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ where ${\mathsf R}\subset {\mathsf{ Rep}}(X,f)$ is a finite sublattice of repellers and  such that
$\alpha(|\ell(R)|) = R$ for all $R \in {\mathsf R}$.
Since ${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ embeds (as a lattice) into the Boolean algebra ${\mathsf{Set}}({\mathcal X})$, we can adopt the perspective that $\ell\colon {\mathsf R} \to {\mathsf{Set}}({\mathcal X})$ is a lattice monomorphism.  
If we represent ${\mathsf R}$ by a lattice isomorphism ${\mathsf O}({\mathsf P}) \cong {\mathsf R}$, where ${\mathsf P}\cong{\mathsf J}({\mathsf R})$, then
application of the Booleanization functor to $\ell\colon{\mathsf O}({\mathsf P}) \to {\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ yields the Boolean monomorphism
${\mathsf B}(\ell) \colon {\mathsf{Set}}({\mathsf P})\to {\mathsf{Set}}({\mathcal X})$.  This allows us to represent $\ell$ by
\begin{equation}
\label{eqn:props-10}
\ell(\alpha) = \bigcup_{p\in\alpha} {\mathcal V}_p
\end{equation}
where 
\begin{equation}
\label{eq:Vp}
{\mathcal V}_p := \ell(\gamma)\setminus \ell(\beta)\subset {\mathcal X}
\end{equation} 
for any choice of $\beta,\gamma\in{\mathsf O}({\mathsf P})$ such that $\setof{p}=\gamma\setminus\beta$. Since $\setof{{\mathcal V}_p\mid p\in{\mathsf P}}$ are atoms, ${\mathcal V}_p\cap {\mathcal V}_{p'} = \varnothing$ if $p\neq p'$. 

\begin{proposition}
\label{prop:Boolappl}
Let ${\mathsf O}({\mathsf P})$ be a finite distributive lattice, and let $\ell\colon {\mathsf O}({\mathsf P}) \to {\mathsf{Set}}({\mathcal X})$ be a lattice monomorphism. 
Then ${\mathsf P}$ is an indexing set for a grid on $X$ whose elements are
$ \supp{{\mathcal V}_p} $
under the evaluation map $\supp{\cdot}\colon {\mathsf{Set}}({\mathcal X})\to {\mathscr R}(X)$ and
${\mathcal V}_p := \ell(\gamma)\setminus \ell(\beta)\subset {\mathcal X}$ for any choice of $\beta,\gamma\in{\mathsf O}({\mathsf P})$ such that $\setof{p}=\gamma\setminus\beta$.
\end{proposition}

\begin{proof}
By Corollary~\ref{cor:grid->lattice} the evaluation map $|\cdot|\colon {\mathsf{Set}}({\mathcal X})\to {\mathscr R}(X)$ is Boolean, and thus the composition $\supp{{\mathsf B}(\ell)}\colon {\mathsf{Set}}({\mathsf P})\to {\mathscr R}(X)$ is Boolean.  
In particular $\supp{{\mathsf B}(\ell)({\mathsf P})}$ is a finite subalgebra of ${\mathscr R}(X)$.  
Hence the atoms of $\supp{{\mathsf B}(\ell)({\mathsf P})}$, which are $\setof{\supp{{\mathcal V}_p} \mid p\in {\mathsf P}}$, form a grid of $X$.
\end{proof}

\begin{proposition}
Let ${\mathsf O}({\mathsf P})$ be a finite distributive lattice and let $\ell\colon {\mathsf O}({\mathsf P}) \to {\mathsf{Set}}({\mathcal X})$ be a lattice monomorphism.  Then
\[
\supp{{\mathcal V}_p} \cap \mbox{\rm int\,} \supp{\ell(\alpha)} = \varnothing \quad\text{for all}\quad p\not\in\alpha \in {\mathsf O}({\mathsf P}).
\]
\end{proposition}

\begin{proof}
By \eqref{eqn:props-10} and \eqref{eq:Vp} we have that ${\mathcal V}_p \cap l(\alpha) = \varnothing$.
Because $\setof{{\mathcal V}_p\mid p\in{\mathsf P}}$ is a grid for $X$ we obtain
\[
\supp{{\mathcal V}_p} \wedge \supp{\ell(\alpha)} = \varnothing,\quad \forall  p\not\in \alpha \in {\mathsf O}({\mathsf P})
\]
which is equivalent to
$\supp{{\mathcal V}_p} \cap \mbox{\rm int\,} \supp{\ell(\alpha)} = \varnothing$
by Lemma~\ref{lem:equivregcl}.
\end{proof}

Because $\setof{{\mathcal V}_p\mid p\in {\mathsf P}}$ are atoms, $\supp{{\mathcal V}_p}\wedge \supp{{\mathcal V}_{p'}} = 0$ under the lattice operation of ${\mathscr R}(X)$.
Since in this lattice $\wedge \neq \cap$, we cannot conclude  that $\supp{{\mathcal V}_p}\cap \supp{{\mathcal V}_{p'}} = \varnothing$.  
More generally, since $\supp{{\mathsf B}(\ell)}\colon {\mathsf O}({\mathsf P})\to {\mathscr R}(X)$ is a lattice homomorphism
$\supp{\ell(\gamma)} \wedge \supp{\ell(\alpha)} =  \supp{\ell(\gamma\cap \alpha)}$, but this does not imply that
$\supp{\ell(\gamma)} \cap \supp{\ell(\alpha)} =  \supp{\ell(\gamma\cap \alpha)}$ since $\supp{\cdot}\colon {\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})\to {\mathsf{ RNbhd}}(X,f)$ is not a lattice homomorphism. It is a homomorphism if we replace  ${\mathsf{ RNbhd}}(X,f)$ by ${\mathsf{ RNbhd}}_{\scrR}(X,f)$. 
In order to obtain results that hold in ${\mathsf{ RNbhd}}(X,f)$,
 we introduce the following concept.

\begin{definition}
Let ${\mathsf O}({\mathsf P})$ be a finite distributive lattice. A  lattice monomorphism $\ell\colon {\mathsf O}({\mathsf P}) \to {\mathsf{Set}}({\mathcal X})$ is {\em well-separated} if
\begin{equation}
\label{eqn:props-11}
|{\mathcal V}_p| \cap |{\mathcal V}_{p'}| = \varnothing\quad\hbox{for all $p~\Vert~{p'}$},\quad p,p'\in{\mathsf P}
\end{equation}
where the  $p~\Vert~{p'}$ indicates that $p$ and ${p'}$ are incomparable, i.e. $p\not\le {p'}$ and $p'\not \le {p}$.
\end{definition}

\begin{proposition}
\label{prop:well-sep}
If ${\mathsf O}({\mathsf P})$ is a finite distributive lattice and  $\ell\colon {\mathsf O}({\mathsf P}) \to {\mathsf{Set}}({\mathcal X})$ is  well-separated, then
\begin{equation}
\label{eqn:well-sep}
\supp{\ell(\gamma)} \cap \supp{\ell(\alpha)} = \supp{\ell(\gamma)} \wedge \supp{\ell(\alpha)}.
\end{equation}
\end{proposition}

\begin{proof}
Observe that
\[
\supp{\ell(\gamma)} \cap \supp{\ell(\alpha)}= \supp{ \bigcup_{p\in\gamma} {\mathcal V}_p } \cap \supp{ \bigcup_{q\in\alpha} {\mathcal V}_q  }
= \bigcup_{p\in\gamma\atop q\in\alpha} \left( \supp{{\mathcal V}_p} \cap \supp{{\mathcal V}_q} \right).
\]
By \eqref{eqn:props-11}, if $\supp{{\mathcal V}_p} \cap \supp{{\mathcal V}_q} \neq\varnothing$, then either $p\le q$ or $q\le p$.
Since $\gamma$ and $\alpha$ are down sets, this implies that $p\in\gamma\cap\alpha$ or
$q\in\gamma\cap\alpha$ respectively, and hence $\supp{{\mathcal V}_p} \cap \supp{{\mathcal V}_q} \subset \supp{{\mathcal V}_r}$ for
some $r\in\gamma\cap\alpha$. 
Therefore
\begin{eqnarray*}
\supp{\ell(\gamma)} \cap \supp{\ell(\alpha)} &=& \bigcup_{p\in\gamma\atop q\in\alpha} \supp{{\mathcal V}_p} \cap \supp{{\mathcal V}_q}
=\bigcup_{r\in\gamma\cap\alpha} \supp{{\mathcal V}_r} = \supp{ \bigcup_{r\in\gamma\cap\alpha}{\mathcal V}_r }\\
&=&  \supp{\ell({\gamma\cap\alpha})} =  \supp{\ell(\gamma)\cap \ell(\alpha)}
= \supp{\ell(\gamma)} \wedge \supp{\ell(\alpha)}
\end{eqnarray*}
where the last two equalities follow from the fact that $\ell$ is a lattice homomorphism and
Corollary~\ref{prop:grid->lattice}, respectively.
\end{proof}

Let $\lambda\in{\mathsf O}({\mathsf P})$ which is a subposet of ${\mathsf P}$. Note that $0\in{\mathsf O}(\lambda)$. However, if $\lambda\neq{\mathsf P}$, then ${\mathsf P}\notin{\mathsf O}(\lambda)$, and hence ${\mathsf O}(\lambda)$ is not a sublattice of ${\mathsf O}({\mathsf P})$. 
Therefore we define $\lambda^\top$ to  be the poset $\lambda\cup\{\top\}$ where the 
additional top element $\top$ has relations $p\le\top$ for all $p\in\lambda$.
Observe that as a set $\top ={\mathsf P}$.
Then
$$
{\mathsf O}(\lambda^\top)\approx\{\alpha\in{\mathsf O}({\mathsf P})~|~\alpha\subset\lambda\;\hbox{or}\;\alpha={\mathsf P}\}
$$
making  ${\mathsf O}(\lambda^\top)$  a sublattice of ${\mathsf O}({\mathsf P})$. Booleanization implies
${\mathsf B}({\mathsf O}(\lambda^\top))\subset{\mathsf B}({\mathsf O}({\mathsf P}))={\mathsf{Set}}({\mathsf P})$.

\begin{definition}
\label{defn:part-lift}
Let $\lambda\in {\mathsf O}({\mathsf P})$. 
A lattice homomorphism $\ell:{\mathsf O}(\lambda^\top) \to {\mathsf H}$ is 
a {\em partial lift of $g$ on ${\mathsf O}(\lambda^\top)$} in Diagram \eqref{diag:lift12} if
\[
h(\ell(\beta)) = g(\beta)\;\;\hbox{for all $\beta \leq \lambda$.}
\] 
\end{definition}

Note that by the above definition $\ell(1) = 1$, since $\ell$ is a lattice homomorphism.



\subsection{Realization of attractor and repeller lattices}
\label{subset:lift-grid}

In this section,  using ideas from \cite{KMV-1a}, we prove that the lattice structures can be realized via multivalued maps.

\begin{theorem}
\label{thm:conv-latt-1}
Let $f\colon X \to X$ be a continuous mapping on a compact metric space $X$.
Let ${\mathcal F}_n\colon  {\mathcal X}_n \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}_n$ be a convergent cofiltration of outer approximations for $f$ defined
on a contracting cofiltration of grids on $X$. 
If ${\mathsf A} \subset {\mathsf{ Att}}(X,f)$ is a finite sublattice, then there exists an $n_{\mathsf A}$ such that for all $n\ge n_{\mathsf A}$ there exists a lift $\ell_n\colon {\mathsf A} \to {\mathsf{ Invset}}^+({\mathcal X}_n,{\mathcal F}_n)$ of the inclusion map $\iota\colon {\mathsf A} \rightarrowtail {\mathsf{ Att}}(X,f)$ through $\omega(\supp{\cdot})\colon {\mathsf{ Invset}}^+({\mathcal X}_n,{\mathcal F}_n) \to {\mathsf{ Att}}(X,f)$, i.e.\ the following diagram commutes
\[
\begin{diagram}
\node{~} \node{{\mathsf{ Invset}}^+({\mathcal X}_n,{\mathcal F}_n)} \arrow{s,r}{\omega(|\cdot|)}\\
\node{{\mathsf A}}  \arrow{e,l,V}{\imath} \arrow{ne,l,..,V}{\ell_n}  \node{{\mathsf{ Att}}(X,f).} 
\end{diagram}
\]
Furthermore, $\ell_n$ can be chosen such that $\supp{\ell_n({\mathsf A})}$ is a sublattice of ${\mathsf{ ANbhd}}(X,f)$.
\end{theorem}

We do not know of a direct proof of Theorem~\ref{thm:conv-latt-1}. 
The difficulty arises from the fact that $\wedge = \cap$ for the lattice ${\mathsf{ Invset}}^+({\mathcal X}_n,{\mathcal F}_n)$, but $\wedge\neq \cap$ for the lattice ${\mathsf{ Att}}(X,f)$.
Recall, however, that $\wedge = \cap$ for the lattice ${\mathsf{ Rep}}(X,f)$.
With this in mind we prove the following analogous theorem for repellers. By the proof of \cite[Theorem 1.2]{KMV-1a} and in particular
\cite[commutative diagram (24)]{KMV-1a}, the Theorem~\ref{thm:conv-latt-2} for repellers implies Theorem~\ref{thm:conv-latt-1}
for attractors by a duality argument.

\begin{theorem}
\label{thm:conv-latt-2}
Let $f\colon X \to X$ be a continuous mapping on a compact metric space $X$.
Let ${\mathcal F}_n\colon  {\mathcal X}_n \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}_n$ be a convergent  cofiltration of outer approximations for $f$ defined
on a contracting cofiltration of grids on $X$. 
If ${\mathsf R} \subset {\mathsf{ Rep}}(X,f)$ is a finite sublattice, then there exists an $n_{\mathsf R}$ such that for all $n\ge n_{\mathsf R}$ there exists a lift $\ell_n\colon {\mathsf R} \to {\mathsf{ Invset}}^-({\mathcal X}_n,{\mathcal F}_n)$ of the inclusion map $\iota\colon {\mathsf R} \rightarrowtail {\mathsf{ Rep}}(X,f)$ through $\alpha(\supp{\cdot})\colon {\mathsf{ Invset}}^-({\mathcal X}_n,{\mathcal F}_n) \twoheadrightarrow {\mathsf{ Rep}}(X,f)$, i.e.\ the following diagram commutes
\begin{equation}
\label{eq:repellerliftdiagram}
\begin{diagram}
\node{~} \node{{\mathsf{ Invset}}^-({\mathcal X}_n,{\mathcal F}_n)} \arrow{s,r}{\alpha(|\cdot|)}\\
\node{{\mathsf R}}  \arrow{e,l,V}{\imath} \arrow{ne,l,..,V}{\ell_n}  \node{{\mathsf{ Rep}}(X,f).} 
\end{diagram}
\end{equation}
Furthermore, $\ell_n$ can be chosen such that $\supp{\ell_n({\mathsf R})}$ is a sublattice of ${\mathsf{ RNbhd}}(X,f)$.
\end{theorem}

\begin{proof}
Observe that by Remark~\ref{rem:birkhoff} to prove \eqref{eq:repellerliftdiagram} it is sufficient to prove the existence of ${\mathcal U}_n$ such that the following diagram commutes
\begin{equation}
\label{eq:diagramproof}
\begin{diagram}
\node{~} \node{{\mathsf{ Invset}}^-({\mathcal X}_n,{\mathcal F}_n)} \arrow{s,r,A}{\alpha(|\cdot|)}  \arrow{e,l,J}{}\node{{\mathsf{Set}}({\mathcal X}_n)}\\
\node{{\mathsf O}({\mathsf P})} \arrow{ne,l,..,V}{{\mathcal U}_n} \arrow{e,l,V}{R_n}  \node{{\mathsf R}_n} \arrow{e,J}\node{{\mathsf{ Rep}}(X,f)} 
\end{diagram}
\end{equation}
where ${\mathsf R}_n := \alpha\left(\supp{{\mathsf{ Invset}}^-({\mathcal X}_n,{\mathcal F}_n)} \right)$.
Viewing ${\mathcal U}_n$ as a map into ${\mathsf{Set}}({\mathcal X}_n)$, by Proposition~\ref{prop:Boolappl} we obtain a grid $\setof{\supp{{\mathcal V}_{n,p}}\mid p\in {\mathsf P}}$ for $X$.

Observe that if $\alpha, \alpha'\in {\mathsf O}({\mathsf P})$ satisfy $\alpha\cap\alpha' = \varnothing$, then 
$R_n(\alpha)\cap R_n(\alpha')=\varnothing$, and hence there exists $d_\varnothing >0$ such that 
\begin{equation}
\label{eq:sepRep}
B_{d_\varnothing}(R_n(\alpha)) \cap B_{d_\varnothing}(R_n(\alpha')) = \varnothing.
\end{equation}
Since ${\mathsf O}({\mathsf P})$ is finite, we can choose $d_\varnothing >0$ such that \eqref{eq:sepRep} is satisfied for
all $\alpha, \alpha'\in {\mathsf O}({\mathsf P})$ satisfying $\alpha\cap\alpha' = \varnothing$.
By Corollary~\ref{cor:resolution1} there exists $n_{d_\varnothing}>0$  such that for each $\alpha\in {\mathsf O}({\mathsf P})$ there is an associated  discrete repeller ${\mathcal R}_n(\alpha)\in {\mathsf{ Invset}}^-({\mathcal X}_n,{\mathcal F}_n)$ satisfying
\[
R_n(\alpha) \subset |{\mathcal R}_n(\alpha)|\le B_{d_\varnothing}(R_n(\alpha))
\]
for all $n\ge n_{d_\varnothing}$.

Having established the necessary notation we provide a proof by induction making use of partial lifts.
To establish the initial induction step choose $n\ge n_{d_\varnothing}$ and let $q\in {\mathsf P}$ be minimal.
Observe that $\setof{q}\in {\mathsf O}({\mathsf P})$.
Define 
\[
{\mathcal U}_n(\setof{q}) := {\mathcal R}_n(\setof{q}).
\]
Observe that ${\mathcal U}_n\colon {\mathsf O}(\setof{q}^\top)\to {\mathsf{ Invset}}^-({\mathcal X}_n,{\mathcal F}_n)$ defines a partial lift of $R_n$ through
$\alpha(\supp{\cdot})$ that satisfies the following three conditions:
\begin{description}
\item[C1] ${\mathcal V}_{n,p}\cap{\mathcal V}_{n,p'} = \varnothing$ for all $p\not = {p'}$;
\item[C2] $\supp{{\mathcal V}_{n,p}} \cap R_n(\alpha) = \varnothing$ if $p \not\in\alpha$;
\item[C3] $\supp{{\mathcal V}_{n,p}} \cap \supp{{\mathcal V}_{n,p'}} = \varnothing$ for all $p~\Vert~{p'}$,
\end{description}
where $p,p'\in \setof{q}, \alpha\in{\mathsf O}({\mathsf P}),$ and ${\mathcal V}_{n,p}$ is defined by \eqref{eq:Vp}.

Assume that for some $\lambda \in {\mathsf O}({\mathsf P})$ and some $n_\lambda\ge  n_{d_\varnothing}$ there exists a partial lift  ${\mathcal U}_{n_\lambda}\colon {\mathsf O}(\lambda^\top)\to  {\mathsf{ Invset}}^-({\mathcal X}_{n_\lambda},{\mathcal F}_n)$ of $R_n$ through
$\alpha(\supp{\cdot})$ which satisfies Conditions {\bf C1} - {\bf C3} for $p,p'\in \lambda$ and $\alpha\in{\mathsf O}({\mathsf P}).$
Furthermore, given ${\mathcal U}_{n_\lambda}$ \eqref{eq:Vp} defines $\setof{{\mathcal V}_{n_\lambda,p}\mid p\in {\mathsf P}}$.
We now show that for  $n$  sufficiently large  a new partial lift can be constructed on a down set in ${\mathsf O}({\mathsf P})$ with one additional element.

Let $q\in {\mathsf P}\setminus \lambda$ be minimal. 
Define $\mu = \downarrow\! q$. 
By condition {\bf C2}, 
\begin{enumerate}
\item [(i)] if $p\in \lambda\setminus \mu$ then $\supp{{\mathcal V}_{n_\lambda,p}} \cap R_{n_\lambda}(\mu) = \varnothing$.
\end{enumerate}
Since $R_{n_\lambda}$ is a lattice homomorphism, and ${\mathcal U}_{n_\lambda}$ is a partial lift,
\begin{enumerate}
\item [(ii)] if $\mu\cap \alpha\subset \lambda$, i.e.\ if $q\not\in\alpha\in{\mathsf O}({\mathsf P})$, then
\[
R_{n_\lambda}(\mu) \cap R_{n_\lambda}(\alpha) = R_{n_\lambda}({\mu\cap \alpha})\subset R_{n_\lambda}(\lambda) \subset \mbox{\rm int\,} |{\mathcal U}_{n_\lambda}(\lambda)|.
\]
\end{enumerate}

Property (i) implies that there exists a $d_\lambda>0$ such that $\supp{{\mathcal V}_{n_\lambda,p}} \cap B_{d_\lambda}(R_{n_\lambda}(\mu)) =\varnothing$
for all $p\in \lambda\setminus \mu$.
Property (ii) is equivalent to $\bigl( R_{n_\lambda}(\mu) \setminus \mbox{\rm int\,} |{\mathcal U}_{n_\lambda}(\lambda)|\bigr) \cap R_{n_\lambda}(\alpha)  = \varnothing$, which
implies that if $q\not\in\alpha$, then ${\rm cl}\,}%{\text{cl}\bigl( R_{n_\lambda}(\mu)\setminus |{\mathcal U}_{n_\lambda}(\lambda)|\bigr) \cap R_{n_\lambda}(\alpha) = \varnothing$.
We can therefore choose $d_\lambda$ small enough such that 
\begin{enumerate}
\item [(i)']  if $p\in \lambda\setminus \mu$, then $\supp{{\mathcal V}_{n_\lambda,p}} \cap B_{d_\lambda}(R_{n_\lambda}(\mu)) = \varnothing$, and
\item [(ii)']  if $q\not\in\alpha\in{\mathsf O}({\mathsf P})$, then ${\rm cl}\,}%{\text{cl} \bigl(B_{d_\lambda}(R_{n_\lambda}(\mu)) \setminus \supp{{\mathcal U}_{n_\lambda}(\lambda)}\bigr) \cap R_{n_\lambda}(\alpha)  = \varnothing$.
\end{enumerate}
Observe that throughout this discussion we have been working with $n = n_\lambda$ and thus the fixed evaluation map $\supp{\cdot} = \supp{\cdot}_{n_\lambda} \colon {\mathcal X}_{n_\lambda} \to {\mathscr R}(X)$.
Now we must change $n$, and thus the evaluation map also changes. Whenever the choice of evaluation map is clear, we continue to denote it by $\supp{\cdot}$.

By Corollary~\ref{cor:resolution1}  we can choose $n_{d_\lambda} \ge n_\lambda$ such that for any $n\ge n_{d_\lambda}$ the repeller ${\mathcal R}_{n}(\mu)$ guaranteed by this corollary  satisfies
$R_n(\mu) \subset \supp{{\mathcal R}_{n}(\mu)}_n \subset B_{d_\lambda}(R_n(\mu))$ .
Observe that this in turn implies that  for all $n\ge n_{d_\lambda}$
\begin{enumerate}
\item [(i)"]  if $p\in \lambda\setminus \mu$, then $\supp{{\mathcal V}_{n_\lambda,p}}_{n_\lambda}  \cap \supp{{\mathcal R}_n(\mu)}_n = \varnothing$, and
\item [(ii)"]  if $q\not\in\alpha\in{\mathsf O}({\mathsf P})$, then ${\rm cl}\,}%{\text{cl} \bigl(\supp{{\mathcal R}_n(\mu)}_n \setminus \supp{{\mathcal U}_{n_\lambda}(\lambda)}_{n_\lambda} \bigr) \cap R_n(\alpha)  = \varnothing$.
\end{enumerate}

Recall that for $n\ge n_{\lambda}$, ${\mathcal X}_n$ is a refinement of ${\mathcal X}_{n_\lambda}$.  Thus for each $n$ there exists unique
sets ${\mathcal V}^n_{n_\lambda,p}, {\mathcal U}^n_{n_\lambda}(\alpha) \subset {\mathcal X}_{n}$ such that
\begin{equation}
\label{eq:defnVU}
\supp{{\mathcal V}^n_{n_\lambda,p}}_n = \supp{{\mathcal V}_{n_\lambda,p}}_{n_\lambda}
\quad\text{and}\quad
\supp{{\mathcal U}^n_{n_\lambda}(\alpha)}_n = \supp{{\mathcal U}_{n_\lambda}(\alpha)}_{n_\lambda}. 
\end{equation}
By assumption ${\mathcal U}_{n_\lambda}(\lambda)\in {\mathsf{ Invset}}^-({\mathcal X}_{n_\lambda},{\mathcal F}_{n_\lambda})$.
By Proposition~\ref{prop:cofiltmap} ${\mathcal U}^n_{n_\lambda}(\lambda)\in {\mathsf{ Invset}}^-({\mathcal X}_{n},{\mathcal F}_n)$.

Let $n_{\mu\cup\lambda}\ge n_{d_\lambda}$.  
Then ${\mathcal U}^{n_{\mu\cup\lambda}}_{n_\lambda}\colon {\mathsf O}(\lambda^\top)\to {\mathsf{ Invset}}^{-}({\mathcal X}_{n_{\mu\cup\lambda}},{\mathcal F}_{n_{\mu\cup\lambda}})$ is a partial lift of $R_{n_{\mu\cup\lambda}}$ through $\alpha(\supp{\cdot})\colon {\mathsf{ Invset}}^{-}({\mathcal X}_{n_{\mu\cup\lambda}},{\mathcal F}_{n_{\mu\cup\lambda}})\to {\mathsf R}_{n_{\mu\cup\lambda}}$.
To complete the induction step we must show that this partial lift can be extended to ${\mathsf O}((\lambda\cup\mu)^\top)$.
\vskip 6pt
\noindent {\em Claim:} This partial lift can be extended  to ${\mathsf O}((\lambda\cup\mu)^\top)$ via the following definition.
\vskip 6pt\noindent
Given $\alpha\in\lambda\cup\mu$ define
${\mathcal U}_{n_{\mu\cup\lambda}}\colon {\mathsf O}((\lambda\cup\mu)^\top) \to  {\mathsf{ Invset}}^-({\mathcal X}_{n_{\mu\cup\lambda}},{\mathcal F}_{n_{\mu\cup\lambda}})$ by
\begin{equation}\label{eqn:liftk}
{\mathcal U}_{n_{\mu\cup\lambda}}(\alpha)=\bigcup_{p\in\alpha}{\mathcal V}_{n_{\mu\cup\lambda},p}
\end{equation}
where 
\begin{equation}
\label{eqn:defnext}
{\mathcal V}_{n_{\mu\cup\lambda},q} := {\mathcal R}_{n_{\mu\cup\lambda}}(\mu)\setminus {\mathcal U}^{n_{\mu\cup\lambda}}_{n_\lambda}(\lambda)
\quad\text{and}\quad
{\mathcal V}_{n_{\mu\cup\lambda},p} := {\mathcal V}^{n_{\mu\cup\lambda}}_{n_\lambda,p}\ \text{for}\ p\in\lambda.
\end{equation}

Our induction hypothesis and the proof of the claim makes use of conditions {\bf C1} - {\bf C3}, thus we begin by verifying that they are satisfied.
By the induction hypothesis to prove {\bf C1} for all $p,p' \subset \lambda \cup \mu$ it is sufficient to show that
${\mathcal V}_{n_{\mu\cup\lambda},q} \cap {\mathcal V}_{n_{\mu\cup\lambda},p} = \varnothing$ for $p\in\lambda$. 
This follows from the fact that
\[
{\mathcal V}_{n_{\mu\cup\lambda},p} = {\mathcal V}^{n_{\mu\cup\lambda}}_{n_\lambda,p} \subset {\mathcal U}^{n_{\mu\cup\lambda}}_{n_\lambda}(\lambda)
\] 
for all $p\in \lambda$.
To prove Condition {\bf C2} observe that by definition 
\[
\supp{{\mathcal V}_{n_{\mu\cup\lambda},q}} = \supp{{\mathcal R}_{n_{\mu\cup\lambda}}(\mu)\setminus {\mathcal U}^{n_{\mu\cup\lambda}}_{n_\lambda}(\lambda)} = {\rm cl}\,}%{\text{cl} \bigl( \supp{{\mathcal R}_{n_{\mu\cup\lambda}}(\mu)} \setminus |{\mathcal U}_{n_{\mu\cup\lambda}}(\lambda)|\bigr)
\]
where the latter equality follows from Lemma~\ref{lem:intregdisj}, and then apply (ii)''.
Turning to Condition {\bf C3}, by definition 
${\mathcal V}_{n_{\mu\cup\lambda},q} \subset {\mathcal R}_{n_{\mu\cup\lambda}}(\mu)$
and thus by (i)", \eqref{eq:defnVU}, and \eqref{eqn:defnext} we have that 
$\supp{{\mathcal V}_{n_{\mu\cup\lambda},p}}\cap \supp{{\mathcal V}_{n_\lambda,q}} = \varnothing$ for
all $p\in \lambda \setminus \mu$. 
Let $p\in \lambda\cup \mu$. Note that $p\le q$ if and only if $p\in \mu$, and thus $p\not \le q$ if and only if 
$p\in  (\lambda\cup \mu)\setminus \mu$.
Moreover, $q\le p$ if and only if $p=q$, and thus $q\not \le p$ if and only if $p\not = q$.
We conclude that $p~\Vert~q$ if and only if $p\in \lambda \setminus \mu$, which proves {\bf C3} for all $p,p'\in \lambda \cup \mu$ satisfying $p~\Vert~p'$.

To prove the claim we need to verify four statements:
\begin{enumerate}
\item  ${\mathcal U}_{n_{\mu\cup\lambda}}$ is an extension of ${\mathcal U}_{n_\lambda}$,
\item  ${\mathcal U}_{n_{\mu\cup\lambda}}$ maps into ${\mathsf{ Invset}}^{-}({\mathcal X}_{n_{\mu\cup\lambda}},{\mathcal F}_{n_{\mu\cup\lambda}})$, 
\item ${\mathcal U}_{n_{\mu\cup\lambda}}$ is a lattice homomorphism, and 
\item ${\mathcal U}_{n_{\mu\cup\lambda}}$ is a partial lift of $R_{n_{\mu\cup\lambda}}$.
\end{enumerate}

To prove the first statement observe that each $\alpha\subset\lambda\cup\mu$ can be expressed as $\alpha=\beta\cup\nu$ for $\beta\subset\lambda$ and $\nu=\varnothing$ or $\nu=\mu$.  
If $\nu=\varnothing$, then ${\mathcal U}_{n_{\mu\cup\lambda}}(\alpha)={\mathcal U}_{n_\lambda}(\beta)$,
and if $\nu=\mu$, then ${\mathcal U}_{n_{\mu\cup\lambda}}(\alpha)={\mathcal U}_{n_\lambda}(\beta) \cup {\mathcal U}_{n_{\mu\cup\lambda}}(\mu)$.  The second statement follows from the fact that $\vee = \cup $ as the lattice operation in 
${\mathsf{ Invset}}^{-}({\mathcal X}_{n_{\mu\cup\lambda}},{\mathcal F}_{n_{\mu\cup\lambda}})$.  The third statement follows from \eqref{eqn:liftk} and {\bf C1}.
See \cite[Theorem 4.8 {\em Proof of (a)}]{KMV-1a} for details.
To demonstrate the fourth statement, note that
\begin{eqnarray*}
{\mathcal U}_{n_{\mu\cup\lambda}}(\mu) &=&
{\mathcal V}_{n_{\mu\cup\lambda},q}\cup \left( \bigcup_{p\in\lambda\cap\mu}{\mathcal V}_{n_{\mu\cup\lambda},p}\right) \\
&=&
\left( {\mathcal R}_{n_{\mu\cup\lambda}}(\mu)\setminus \left( \bigcup_{p\in\lambda}{\mathcal V}_{n_{\mu\cup\lambda},p} \right) \right)
\cup \left( \bigcup_{p\in\lambda\cap\mu}{\mathcal V}_{n_{\mu\cup\lambda},p} \right)\\
&=&\left( {\mathcal R}_{n_{\mu\cup\lambda}}(\mu)\setminus \left( \bigcup_{p\in\lambda\cap\mu}{\mathcal V}_{n_{\mu\cup\lambda},p} \right) \right)\cup\left( \bigcup_{p\in\lambda\cap\mu}{\mathcal V}_{n_{\mu\cup\lambda},p} \right)\\
&=&{\mathcal R}_{n_{\mu\cup\lambda}}(\mu)\cup \left( \bigcup_{p\in\lambda\cap\mu}{\mathcal V}_{n_{\mu\cup\lambda},p} \right) \\
&=& {\mathcal R}_{n_{\mu\cup\lambda}}(\mu)\cup {\mathcal U}_{n_{\mu\cup\lambda}}({\lambda\cap\mu}).
\end{eqnarray*}
Therefore, 
\begin{eqnarray*}
\alpha(\supp{{\mathcal U}_{n_{\mu\cup\lambda}}(\mu)}) &=&
\alpha( \supp{{\mathcal R}_{n_{\mu\cup\lambda}}(\mu)}) \cup \alpha(\supp{{\mathcal U}_{n_{\mu\cup\lambda}}({\lambda\cap\mu})})\\
&=&R_{n_{\mu\cup\lambda}}(\mu)\cup R_{n_{\mu\cup\lambda}}({\lambda\cap\mu})=R_{n_{\mu\cup\lambda}}(\mu),
\end{eqnarray*}
and thus ${\mathcal U}_{n_{\mu\cup\lambda}}$ is a partial lift of $R_{n_{\mu\cup\lambda}}$.
 
We have now proved the claim and completed the induction step.  
Since the lattice of repellers ${\mathsf R}$ is finite, a finite application of the induction argument gives rise to the commutative diagram \eqref{eq:diagramproof} and hence diagram \eqref{eq:repellerliftdiagram}.

The commutative diagram \eqref{diag:comm-liftfull} guarantees that $\supp{\ell_n(\cdot)}\colon {\mathsf R} \to {\mathsf{ RNbhd}}_{\scrR}(X,f)$ or equivalently  that $\supp{\ell_n}$ can be viewed as a lift  of the embedding ${\mathsf R} \to {\mathsf{ Rep}}(X,f)$ through $\alpha\colon {\mathsf{ RNbhd}}_{\scrR}(X,f) \to {\mathsf{ Rep}}(X,f)$.
The careful reader will note that Condition {\bf C3}  has not yet been used.  
{\bf C3} implies that ${\mathcal U}_n$ is a well-separated lift.
The definition of well-separated guarantees that $\supp{\ell_n}({\mathsf R})$ is a sublattice in ${\mathsf{ RNbhd}}(X,f)$,
which is essential for the final claim of the theorem.  Observe that this implies that $\supp{\ell_n}$ can be viewed as a lift  of the embedding ${\mathsf R} \to {\mathsf{ Rep}}(X,f)$ through $\alpha\colon {\mathsf{ RNbhd}}(X,f) \to {\mathsf{ Rep}}(X,f)$.
\end{proof}

Theorem~\ref{thm:conv-latt-1} indicates that given a convergent cofiltration of multivalued maps obtained by refinement that the lattice structure of attractors can be realized as a lift to ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$.  
The following theorem shows that a similar result holds if one works with an arbitrary convergent sequence of multivalued maps.
Note that since ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})\subset {\mathsf{ASet}}({\mathcal X},{\mathcal F})$, the conclusion of this theorem is weaker than that of Theorem~\ref{thm:conv-latt-1}.

\begin{theorem}
\label{thm:conv-latt-3}
Let $f\colon X \to X$ be a continuous mapping on a
compact metric space $X$.
Let 
${\mathcal F}_n\colon  {\mathcal X}_n \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}_n$ be a convergent sequence of outer approximations.
Then for every finite sublattice ${\mathsf A} \subset {\mathsf{ Att}}(X,f)$ there exists an $n_{\mathsf A}$ such that for all $n\ge n_{\mathsf A}$
there exists a lift  $\ell_n\colon  {\mathsf A} \to {\mathsf{ASet}}({\mathcal X}_n,{\mathcal F}_n)$ of the inclusion map $\iota\colon {\mathsf A} \rightarrowtail {\mathsf{ Att}}(X,f)$ through $\omega(\supp{\cdot})\colon {\mathsf{ASet}}({\mathcal X}_n,{\mathcal F}_n) \to {\mathsf{ Att}}(X,f)$, i.e.\ the following diagram commutes
\[
\begin{diagram}
\node{~} \node{{\mathsf{ASet}}({\mathcal X}_n,{\mathcal F}_n)} \arrow{s,r}{\omega(|\cdot|)}\\
\node{{\mathsf A}}  \arrow{e,l,V}{\imath} \arrow{ne,l,..,V}{\ell_n}  \node{{\mathsf{ Att}}(X,f).} 
\end{diagram}
\]
Furthermore, $\ell_n$ can be chosen such that $\supp{\ell_n({\mathsf A})}$ is a sublattice of ${\mathsf{ ANbhd}}(X,f)$.
Similar statements hold for finite sublattices  ${\mathsf R} \subset {\mathsf{RSet}}(X,f)$.
\end{theorem}

The proof for Theorem~\ref{thm:conv-latt-3} is similar in spirit to that of Theorem~\ref{thm:conv-latt-2}.  However, because we are not assuming a cofiltration of grids we cannot make use of Proposition~\ref{prop:cofiltmap}.
We make use of the  following abstract result to circumvent this difficulty.

\begin{theorem}\label{thm:lift}
Let $f\colon X \to X$ be a continuous mapping on a compact metric space $X$.
Let ${\mathsf P}$ be a poset with $I$ elements.
Let  $R\colon{\mathsf O}({\mathsf P})\to{\mathsf R}\subset{\mathsf{ Rep}}(X,f)$ be a lattice isomorphism, and let $\pi:{\mathsf P}\to\{1,2,\ldots,I\}$ be a 
bijective, order-preserving map. 
Let $p_i :=\pi^{-1}(i)$ and $\mu_i :=\downarrow\! p_i \in {\mathsf O}({\mathsf P})$ for $i=\setof{1,\ldots,I }$. 
Then there exist $\setof{\epsilon_i}_{i=1}^I$
with $\epsilon_i>0$, such that if $\setof{N_i}_{i=1}^I$
is a collection of compact sets satisfying 
\begin{equation}\label{eqn:stable}
B_{\epsilon_i/2}(R(\mu_i)) \subset N_{i} \subset B_{\epsilon_i}(R(\mu_i)),
\end{equation}
then each $N_i$ is a repelling neighborhood.
Furthermore, $U\colon{\mathsf O}({\mathsf P})\to{\mathsf{ RNbhd}}(X,f)$, determined by 
 $U(\mu_1)=N_1$ and $U(\mu_{i+1})=N_{i+1}\cup U(^\leftarrow{\mu_{i+1}})$, is a lift
 of $R$ through $\alpha \colon {\mathsf{ RNbhd}}(X,f) \to {\mathsf{ Rep}}(X,f)$.
\end{theorem}


\begin{proof}
We use an inductive argument to prove the existence of $\{\epsilon_i\}_{i=1}^I$. Simultaneously we prove that
at each stage of the induction argument the restriction of $U$  to ${\mathsf O}(\mu_i^\top)$, which we denote by $U_i$, is a partial lift of $R$ through $\alpha \colon {\mathsf{ RNbhd}}(X,f) \to {\mathsf{ Rep}}(X,f)$.  
More precisely, once $\epsilon_i$ is determined we choose a compact set $N_i\subset X$ satisfying \eqref{eqn:stable} at which point $U_i$ is well defined.

Given $U_i$ define
\[
V_{i,p} := U_i(\beta)\setminus U_i(\gamma)\quad \text{for }\beta\setminus\gamma = \setof{p}
\]
This definition is independent of the particular choice of $\beta$ and $\gamma$. See  \eqref{eqn:inatom}
and the associated discussion.
Observe that  
\[
 U_i(\alpha) = \bigcup_{p\in \alpha} V_{i,p}.
\]

Choose $\epsilon_1 >0$ such that $B_{\epsilon_1}(R(\mu_1)) \cap R(\mu_1)^* = \varnothing$.
Choose $N_1$ satisfying \eqref{eqn:stable}.
By \cite[Proposition 3.25]{KMV-1a} $N_1$ is a repelling neighborhood of $R(\mu_1)$. 
This defines $U_1$ on ${\mathsf O}(\mu_1^\top)={\mathsf O}(\setof{p_1}^\top)$.
We leave it to the reader to check that  the following three conditions 
(cf.\ the proof of Theorem~\ref{thm:conv-latt-2}) are trivially satisfied:
\begin{description}
\item[C1] $V_{k,p}\cap V_{k,p'} = \varnothing$ for all $p\not = {p'}$;
\item[C2] ${\rm cl}\,}%{\text{cl}(V_{k,p}) \cap R(\alpha) = \varnothing$ if $p \not\in\alpha$;
\item[C3] ${\rm cl}\,}%{\text{cl}(V_{k,p}) \cap {\rm cl}\,}%{\text{cl}(V_{k,p'}) = \varnothing$ for all $p~\Vert~{p'}$,
\end{description}
where $k=1$, $p,p'\in \setof{p_1},$ and $\alpha\in{\mathsf O}({\mathsf P})$.  Since 
\[
\alpha(N_1,f) = \alpha(U_1(\setof{p_1}),f) = R(\setof{p_1}),
\]
$U_1$ is a partial lift of $R$ through $\alpha(\cdot,f)$.

To carry out the induction argument, assume that $\{\epsilon_i\}_{i=1}^k$ and $\setof{N_i}_{i=1}^k$ have been chosen
such that \eqref{eqn:stable} is satisfied and that the resulting lattice homomorphism $U_k$ defined on
${\mathsf O}(\lambda_k^\top)$, where $\lambda_k := \setof{p_1, \cdots p_k}$, is a partial lift of $R$ through $\alpha(\cdot,f)$
satisfying conditions {\bf C1} - {\bf C3} for $p,p'\in\lambda_k$ and $\alpha\in{\mathsf O}({\mathsf P}).$

Choose $\epsilon^0_{k+1}$ such that $B_{\epsilon^0_{k+1}}(R(\mu_{k+1}))\cap R(\mu_{k+1})^* =\varnothing$.
By \cite[Proposition 3.25]{KMV-1a} if $R({\mu_{k+1}})\subset \mbox{\rm int\,}(D) \subset B_{\epsilon^0_{k+1}}(R(\mu_{k+1}))$, 
then $D$ is a repelling neighborhood for $R({\mu_{k+1}})$.

We claim that there exists  $\epsilon_{k+1}\in (0, \epsilon^0_{k+1})$ such that if 
$R({\mu_{k+1}})\subset \mbox{\rm int\,}(D) \subset B_{\epsilon_{k+1}}(R(\mu_{k+1}))$, then $D$ satisfies 
the following two conditions:
\begin{enumerate}
\item [(i)] if $p\in \lambda_k\setminus {\mu_{k+1}}$, then ${\rm cl}\,}%{\text{cl}(V_{k,p}) \cap D = \varnothing$, and
\item [(ii)] if
$p_{k+1}\not\in\alpha\in{\mathsf O}({\mathsf P})$, then ${\rm cl}\,}%{\text{cl} \left(D\setminus U_k(\lambda_k)\right) \cap R(\alpha) = \varnothing$.
\end{enumerate}
To establish (i) we use the induction hypothesis {\bf C2}, which implies that ${\rm cl}\,}%{\text{cl} (V_{k,p}) \cap R(\mu_{k+1}) = \varnothing$ for all $p\in {\lambda_k}\setminus {\mu_{k+1}}$.  
Since ${\rm cl}\,}%{\text{cl} (V_{k,p})$ and $R(\mu_{k+1})$ are compact, we can choose $\epsilon^1_{k+1}\in (0,\epsilon^0_{k+1})$ such that ${\rm cl}\,}%{\text{cl}(V_{k,p}) \cap D = \varnothing$ for all neighborhoods $D$  such that $R({\mu_{k+1}})\subset \mbox{\rm int\,}(D) \subset B_{\epsilon^1_{k+1}}(R(\mu_{k+1}))$.

To establish (ii) note  that the inclusion
\begin{equation}
\label{eqn:alt2}
D \cap R(\alpha) \subset \mbox{\rm int\,} U_k(\lambda_k)
\end{equation}
 is equivalent to 
\begin{equation}
\label{eqn:alternative}
(D\setminus \mbox{\rm int\,} U_k(\lambda_k)) \cap R(\alpha) = \varnothing.
\end{equation}
Observe that (\ref{eqn:alternative}) implies (ii) and thus it is sufficient to verify  (\ref{eqn:alt2}) under the assumption that  $p_{k+1}\not\in\alpha$.
Since, $R(\mu_{k+1})\cap R(\alpha) = R({\mu_{k+1}\cap \alpha}) \subset R(\lambda_k)\subset \mbox{\rm int\,} U_k(\lambda_k)$, we can choose $\epsilon_{k+1}\in (0, \epsilon^1_{k+1})$ such that 
$R({\mu_{k+1}})\subset \mbox{\rm int\,}(D) \subset B_{\epsilon_{k+1}}(R(\mu_{k+1}))$ satisfies (\ref{eqn:alt2}).

For the above choice of $\epsilon_{k+1}$ choose $N_{k+1}$ satisfying \eqref{eqn:stable}.  This defines $U_{k+1}$.
The proof that $U_{k+1}$ is a partial lift is identical in form to that of the proof of Theorem~\ref{thm:conv-latt-2} and thus
left to the reader.

The induction argument terminates after $I$ steps.
\end{proof}

\begin{proof}[Proof of Theorem~\ref{thm:conv-latt-3}]
We first prove the result in the context of repellers, i.e.\ we prove the existence of a lift $\ell_n\colon  {\mathsf R} \to {\mathsf{RSet}}({\mathcal X}_n,{\mathcal F}_n)$ of the inclusion map $\iota\colon {\mathsf R} \rightarrowtail {\mathsf{ Rep}}(X,f)$ through $\alpha(\supp{\cdot})\colon {\mathsf{RSet}}({\mathcal X}_n,{\mathcal F}_n) \to {\mathsf{ Rep}}(X,f)$.

Let $\setof{\epsilon_i}_{i=1}^I$,  be the set of radii produced by applying Theorem~\ref{thm:lift} with ${\mathsf P} = {\mathsf J}({\mathsf R})$. 
Choose $n$ sufficiently large so that  ${\rm diam}\,({\mathcal X}_{n})<\min_{i}\{\epsilon_i/2\}$.
For $i = 1,\ldots, I$ define ${\mathcal N}_i=\mathop{\rm cov}_{{\mathcal X}_n}(B_{\epsilon_i/2}(R(\mu_i)))$.  
By Proposition~\ref{prop:conv-latt-3}, if $n$ is chosen sufficiently large, then each ${\mathcal N}_i\in{\mathsf{RSet}}({\mathcal X}_n,{\mathcal F}_n)$.
Similarly to Theorem~\ref{thm:lift}, the map $\ell_n\colon{\mathsf O}({\mathsf P})\to{\mathsf{RSet}}({\mathcal X}_n,{\mathcal F}_n)$ given by
$$
\ell_n(\mu_1)={\mathcal N}_1\;\;\hbox{and}\;\; \ell_n(\mu_{i+1})={\mathcal N}_{i+1}\cup \ell_n(^\leftarrow{\mu_{i+1}})
$$
is a lift.
By Theorem~\ref{thm:lift}  $|\ell_n|\colon {\mathsf O}({\mathsf P})\to {\mathsf{ RNbhd}}(X,f)$  is a lift. 

The statement for attractors follows from duality, i.e.\ by the proof of \cite[Theorem 1.2]{KMV-1a} and in particular
\cite[commutative diagram (24)]{KMV-1a}.
\end{proof}


\begin{remark}\label{rmk:mono}
To put Theorems~\ref{thm:conv-latt-2} and~\ref{thm:conv-latt-3} into perspective, we recall that 
the monotonicity of images of ${\mathcal F}_n$ required for a cofiltration of mappings may in some applications
be computationally expensive to attain, even though most practical algorithms construct
${\mathcal F}_n$ on a cofiltration of grids ${\mathcal X}_n$ through successive refinement.
Theorem~\ref{thm:conv-latt-2} implies that if one does indeed compute a cofiltration of mappings,
then the structure of attractors of $f$ can be realized in forward invariant sets of ${\mathcal F}$.
Without a cofiltration, Theorem~\ref{thm:conv-latt-3} still implies the weaker result that the
 structure of attractors of $f$ can be realized in attracting sets of ${\mathcal F}$.
\end{remark}



\begin{remark}
\label{rem:comm-lift11}
By Proposition \ref{prop:discr-att-to-varphi3} and \ref{prop:discr-att-to-varphi4} we can restate the Diagram (\ref{diag:comm-liftfull}) by Diagram
\eqref{diag:AR2a} for $\varphi$. For
 attractors this reads:

\begin{equation*}
\begin{diagram}
\node{{\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})}\arrow{se,l,A}{{\bm{\omega}}}\arrow{e,l,V}{\imath}\node{{\mathsf{ASet}}({\mathcal X},{\mathcal F})}\arrow{e,l,V}{|\cdot|}\arrow{s,l,A}{{\bm{\omega}}}\node{{\mathsf{ ANbhd}}_{\scrR}(X,\varphi)}\arrow{e,l,A}{\omega}\node{{\mathsf{ Att}}(X,\varphi)}\\
\node{}\node{{\mathsf{ Att}}({\mathcal X},{\mathcal F})}\arrow{ene,r}{\omega(|\cdot|)}
\end{diagram}
\end{equation*}
By Corollary \ref{for:sameA} we have that ${\mathsf{ Att}}(X,f) = {\mathsf{ Att}}(X,\varphi)$ as lattices, and therefore
$\ell$ also provides a lift for $\varphi$ in Theorem~\ref{thm:conv-latt-1} and Theorem~\ref{thm:conv-latt-2}.
In the case of Theorem~\ref{thm:conv-latt-1}, when we construct lifts under refinements, then
the lift $\ell$ yields opposite arrows for all arrows in Diagram (\ref{diag:comm-lift11}).
In the case of Theorem~\ref{thm:conv-latt-2} we only provide opposite arrows to ${\mathsf{ASet}}({\mathcal X},{\mathcal F})$, which implies that
lifts to ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ may not exist.  The same reasoning holds for repellers and their lifts.
\end{remark}

\section{Combinatorial systems}
\label{sec:comb-syst}

In this section we discuss the dynamics of combinatorial multivalued maps. We begin with  basic properties, especially those related to
the asymptotic dynamics. We then discuss attractors, repellers and the combinatorial equivalences of their neighborhoods. Finally we discuss the concept of attractor-repeller pairs in this combinatorial setting. 

\subsection{Combinatorial multivalued maps}

Let ${\mathcal X}$ be a finite set of vertices.
To emphasize the fact that we are interested in dynamics we denote mappings ${\mathcal F} \colon {\mathcal X} \to {\mathsf{Set}}({\mathcal X})$ by  ${\mathcal F}\colon {\mathcal X} \raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ and refer to them as \emph{combinatorial multivalued mappings} on ${\mathcal X}$.
The inverse image of a element 
$\xi \in {\mathcal X}$ is defined by
 \begin{equation}
\label{eqn:inverse-cms}
 {\mathcal F}^{-1}(\xi) := \{ \eta\in {\mathcal X}~|~ \xi\in {\mathcal F}(\eta)\},
\end{equation}
which generates a combinatorial multivalued mapping denoted by ${\mathcal F}^{-1}\colon{\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$.



\begin{definition}
\label{defn:total}
A multivalued mapping is \emph{left-total} if ${\mathcal F}(\xi)\neq\varnothing$ for all $\xi \in {\mathcal X}$ and \emph{right-total}
if ${\mathcal F}^{-1}(\xi)\neq\varnothing$ for  all $\xi \in {\mathcal X}$. A multivalued mapping is \emph{total} if it is both left- and right-total.
\end{definition}

The {\em ${\bm{\omega}}$-limit set} and {\em ${\bm{\alpha}}$-limit set}   capture the asymptotic dynamics
 of a set ${\mathcal U}\subset {\mathcal X}$ under  ${\mathcal F}\colon {\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$} {\mathcal X}$ and  are defined by
\[
{\bm{\omega}}({\mathcal U}) = \bigcap_{k\ge 0} \bigcup_{n\geq k} {\mathcal F}^n({\mathcal U}) 
\quad\hbox{and}\quad 
{\bm{\alpha}}({\mathcal U}) = \bigcap_{k\le 0} \bigcup_{n\leq k} {\mathcal F}^n({\mathcal U}),
\]
respectively.  Observe that omega and alpha limit sets of nonempty sets may be empty, but they satisfy the following properties.

\begin{proposition}
\label{prop:combomega}
Let ${\mathcal F}:{\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$}{\mathcal X}$ be a   multivalued mapping  
and let ${\mathcal U}\subset {\mathcal X}$.
Then,
\begin{enumerate}
\item[(i)]
there exists a $k_*\ge 0$ such that ${\bm{\omega}}({\mathcal U}) = \bigcup_{n\geq k} {\mathcal F}^n({\mathcal U})$ for all $k\ge k_*$;
\item[(ii)] ${\mathcal F}({\bm{\omega}}({\mathcal U})) = {\bm{\omega}}({\mathcal U})$ and 
${\bm{\omega}}({\mathcal F}({\mathcal U})) = {\bm{\omega}}({\mathcal U})$, and thus ${\bm{\omega}}({\mathcal U}) \in {\mathsf{ Invset}}^+({\mathcal X})$;
\item[(iii)] ${\mathcal F}$ left-total and ${\mathcal U} \not = \varnothing$ implies that ${\bm{\omega}}({\mathcal U})$ is invariant and ${\bm{\omega}}({\mathcal U})\not = \varnothing$;
\item[(iv)] if there exists $k_*>0$  such that ${\mathcal F}^n({\mathcal U}) \subset {\mathcal U}$ for $k\ge k_*$,  then ${\bm{\omega}}({\mathcal U}) \subset {\mathcal U}$;
\item[(v)] ${\mathcal V}\subset {\mathcal U}$ implies ${\bm{\omega}}({\mathcal V}) \subset {\bm{\omega}}({\mathcal U})$, and in particular ${\bm{\omega}}({\mathcal V} \cap {\mathcal U}) \subset
{\bm{\omega}}({\mathcal V}) \cap {\bm{\omega}}({\mathcal U})$;
\item[(vi)] ${\bm{\omega}}({\mathcal V}\cup {\mathcal U}) = {\bm{\omega}}({\mathcal V}) \cup {\bm{\omega}}({\mathcal U})$, and in particular ${\bm{\omega}}({\mathcal U}) = \bigcup_{\xi\in {\mathcal U}} {\bm{\omega}}(\xi)$;
\item[(vii)] ${\bm{\omega}}({\bm{\omega}}({\mathcal U})) = {\bm{\omega}}({\mathcal U})$.
\end{enumerate}
The same properties hold for ${\bm{\alpha}}$-limit sets via time-reversal, i.e. replace ${\mathcal F}$ by ${\mathcal F}^{-1}$.
\end{proposition}

\begin{proof}
All properties can essentially be derived from Property (i), which we prove now.
Forward images are nested sets. Since ${\mathcal X}$ is finite, it follows that there exists $k_*$ such that 
\[
\bigcup_{n\geq k} {\mathcal F}^n({\mathcal U}) = \bigcup_{n\geq k_*} {\mathcal F}^n({\mathcal U})
\]
for all $k\geq k_*$.
\end{proof}


\subsection{Attractors and repellers}
\label{sec:cds-AR}


Alpha and omega limit sets capture the asymptotic dynamics of individual sets. Our goal for the remainder of this section is to understand the structure of the asymptotic dynamics of all sets. We begin with the concept of forward and backward invariance.
A set ${\mathcal S}\subset {\mathcal X}$ is \emph{forward invariant} if ${\mathcal F}({\mathcal S}) \subset {\mathcal S}$ and 
it
is \emph{backward invariant} if ${\mathcal F}^{-1}({\mathcal S}) \subset {\mathcal S}$. The sets of forward and backward invariant sets
in ${\mathcal X}$ are denoted by ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ and ${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ respectively.



\begin{proposition}
\label{prop:cms-forback}
The sets ${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ and ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ are
finite distributive lattices with respect to intersection and union.
The mapping ${\mathcal U}\mapsto {\mathcal U}^c$ is an involute lattice anti-isomorphism between ${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ and ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$. \end{proposition}

\begin{proof}
We leave the proof that  ${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ and ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ are
finite distributive lattices with respect to intersection and union to the reader.

To show that set complement maps ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ to ${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ consider ${\mathcal U}\in {\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ and $\xi\in {\mathcal U}^c$.
Suppose $\eta \in {\mathcal F}^{-1}(\xi)\cap {\mathcal U}$. Then 
\[
\xi \in {\mathcal F}\bigl( \eta\bigr) \subset {\mathcal F}({\mathcal U}) \subset {\mathcal U},
\]
which contradicts the fact that $\xi\in {\mathcal U}^c$. We conclude that ${\mathcal F}^{-1}({\mathcal U}^c) \subset {\mathcal U}^c$, and therefore 
${\mathcal U}^c\in {\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$. 
The same arguments hold when ${\mathcal U}\in {\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ is backward invariant.
The fact that the map ${\mathcal U} \mapsto {\mathcal U}^c$ is a lattice anti-isomorphism follows from  De Morgan's laws.
\end{proof}



To characterize the asymptotic dynamics of forward and backward invariant sets we make use of the following structures.


\begin{definition}
\label{defn:combattractor}
Let ${\mathcal F}\colon{\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$}{\mathcal X}$ be a combinatorial multivalued mapping.
A set ${\mathcal A} \subset {\mathcal X}$ is an  \emph{attractor}  for ${\mathcal F}$ if 
${\mathcal F}({\mathcal A})={\mathcal A}$. 
A set ${\mathcal R}\subset {\mathcal X}$ is a \emph{repeller} for ${\mathcal F}$  if ${\mathcal F}^{-1}({\mathcal R}) = {\mathcal R}$.
 The sets of all attractors
and repellers in ${\mathcal X}$ are denoted by ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$ and ${\mathsf{ Rep}}({\mathcal X},{\mathcal F})$ respectively.
\end{definition}

For 
${\mathcal A},{\mathcal A}' \in {\mathsf{ Att}}({\mathcal X},{\mathcal F})$ define
\[
{\mathcal A}\vee{\mathcal A}' = {\mathcal A} \cup {\mathcal A}'\quad {\rm and}\quad{\mathcal A} \wedge {\mathcal A}'  = {\bm{\omega}}({\mathcal A}\cap{\mathcal A}').
\]
Similarly, for  
${\mathcal R},{\mathcal R}' \in {\mathsf{ Rep}}({\mathcal X},{\mathcal F})$ define
$$
{\mathcal R}\vee{\mathcal R}' = {\mathcal R} \cup {\mathcal R}'\quad  {\rm and}\quad{\mathcal R} \wedge {\mathcal R}' = {\bm{\alpha}}({\mathcal R}\cap{\mathcal R}').
$$

\begin{proposition}
\label{prop:cms-attrep}
The sets $\bigl({\mathsf{ Att}}({\mathcal X},{\mathcal F}),\wedge,\vee\bigr)$ 
and $\bigl({\mathsf{ Rep}}({\mathcal X},{\mathcal F}),\wedge,\vee\bigr)$ are finite, distributive lattices.
\end{proposition}

\begin{proof}  
Let ${\mathcal A},{\mathcal A}'\in {\mathsf{ Att}}({\mathcal X},{\mathcal F})$ be attractors. Then
  ${\mathcal F}({\mathcal A} \cup {\mathcal A}') = {\mathcal F}({\mathcal A}) \cup {\mathcal F}({\mathcal A}') = {\mathcal A} \cup {\mathcal A}'$, and thus ${\mathcal A}\cup {\mathcal A}' \in {\mathsf{ Att}}({\mathcal X},{\mathcal F})$.
  Similarly, ${\mathcal A}\wedge {\mathcal A}' = {\bm{\omega}}({\mathcal A}\cap {\mathcal A}')$, and therefore ${\mathcal F}({\mathcal A}\wedge{\mathcal A}') = {\mathcal A}\wedge{\mathcal A}'$ by
 Proposition \ref{prop:combomega}(ii), which proves ${\mathcal A}\wedge {\mathcal A}' \in {\mathsf{ Att}}({\mathcal X},{\mathcal F})$.  
 This proves that ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$ is a lattice. The same holds for ${\mathsf{ Rep}}({\mathcal X},{\mathcal F})$.
 It remains to show that both sublattices are distributive.


Let ${\mathcal A},{\mathcal A}'{\mathcal A}'' \in {\mathsf{ Att}}({\mathcal X},{\mathcal F})$. Then
\begin{eqnarray*}
({\mathcal A}\wedge {\mathcal A}') \vee ({\mathcal A}\wedge {\mathcal A}'') & = &  {\bm{\omega}}({\mathcal A}\cap {\mathcal A}') \cup {\bm{\omega}}({\mathcal A}\cap {\mathcal A}'')\\
&= &  {\bm{\omega}}\bigl(({\mathcal A}\cap {\mathcal A}') \cup ({\mathcal A}\cap {\mathcal A}'')\bigr)\\
&=& {\bm{\omega}}\bigl({\mathcal A}\cap ({\mathcal A}'\cup {\mathcal A}'')\bigr) = {\bm{\omega}}({\mathcal A}) \wedge {\bm{\omega}}({\mathcal A}'\cup  {\mathcal A}'')\\
&=& {\mathcal A}\wedge ({\mathcal A}'\vee {\mathcal A}''),
\end{eqnarray*}
which proves distributivity.
The arguments for ${\mathsf{ Rep}}({\mathcal X},{\mathcal F})$ are  symmetric.
\end{proof}

\begin{remark}
Because the lattice operations are distinct,  ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$ and ${\mathsf{ Rep}}({\mathcal X},{\mathcal F})$ cannot be viewed as sublattices  of ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ and ${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$, respectively.
\end{remark}

By Proposition \ref{prop:combomega}(ii) every omega limit set  is an attractor, and similarly, every alpha limit set  is a repeller.  The following result adds structure to this observation.



\begin{proposition}
\label{att-rep-fbi}
The functions 
\[{\bm{\omega}}\colon {\mathsf{ Invset}}^+({\mathcal X},{\mathcal F}) \to {\mathsf{ Att}}({\mathcal X},{\mathcal F})\quad \hbox{ and}\quad {\bm{\alpha}}\colon {\mathsf{ Invset}}^-({\mathcal X},{\mathcal F}) \to {\mathsf{ Rep}}({\mathcal X},{\mathcal F}),
\]
are lattice epimomorphisms.
\end{proposition}

\begin{proof}
We give the proof for ${\bm{\omega}}\colon {\mathsf{ Invset}}^+({\mathcal X},{\mathcal F}) \to {\mathsf{ Att}}({\mathcal X},{\mathcal F})$.
From Proposition \ref{prop:combomega}(vi) it follows that ${\bm{\omega}}({\mathcal U}\cup {\mathcal U}') = {\bm{\omega}}({\mathcal U}) \cup {\bm{\omega}}({\mathcal U}')$.  For the meet operation we argue as follows.
Since ${\mathcal U}$ and ${\mathcal U}'$ are forward invariant, we have  ${\mathcal A} = {\bm{\omega}}({\mathcal U})\subset {\mathcal U}$ and ${\mathcal A}' = {\bm{\omega}}({\mathcal U}')\subset {\mathcal U}'$. Then
\begin{eqnarray*}
{\mathcal A} \wedge {\mathcal A}' &=& {\bm{\omega}}({\mathcal A} \cap {\mathcal A}') \subset {\bm{\omega}}({\mathcal U}\cap {\mathcal U}') = {\bm{\omega}}\bigl( {\bm{\omega}}({\mathcal U}\cap {\mathcal U}')\bigr)\\
 &\subset& {\bm{\omega}}\bigl( {\bm{\omega}}({\mathcal U})\cap {\bm{\omega}}({\mathcal U}')\bigr) = {\mathcal A}\wedge {\mathcal A}',
\end{eqnarray*}
which proves that ${\bm{\omega}}({\mathcal U}\cap {\mathcal U}') = {\mathcal A} \wedge {\mathcal A}' = {\bm{\omega}}({\mathcal U}) \wedge {\bm{\omega}}({\mathcal U}')$, and
therefore ${\bm{\omega}}$ is a lattice homomorphism. The map is surjective, since ${\mathsf{ Att}}({\mathcal X},{\mathcal F}) \subset {\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ and ${\bm{\omega}}|_{{\mathsf{ Att}}({\mathcal X},{\mathcal F})} = \mathop{\rm id }\nolimits$.
Moreover,  ${\bm{\omega}}(\varnothing) = \varnothing = 0$ in ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$, and ${\bm{\omega}}({\mathcal X},{\mathcal F}) = 1$ in ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$.
\end{proof}



While the previous proposition demonstrates that all attractors and repellers can be obtained as  the omega and alpha limit sets of a forward and backward invariant sets, there are larger collections of sets that lead to attractors and repellers. 
An \emph{attracting set} ${\mathcal U}$ has the property that ${\bm{\omega}}({\mathcal U}) \subset {\mathcal U}$, and the attracting
sets are denoted by ${\mathsf{ASet}}({\mathcal X},{\mathcal F})$. Similarly, a \emph{repelling set} is defined by ${\bm{\alpha}}({\mathcal U}) \subset {\mathcal U}$, and the repelling sets are denoted by
${\mathsf{RSet}}({\mathcal X},{\mathcal F})$. 
Observe that forward and backward invariant sets are attracting and repelling sets, respectively, but not vice-versa.

\begin{proposition}
The sets ${\mathsf{ASet}}({\mathcal X},{\mathcal F})$ and ${\mathsf{RSet}}({\mathcal X},{\mathcal F})$ are finite  sublattices of ${\mathsf{Set}}({\mathcal X},{\mathcal F})$ and
therefore finite distributive lattices. 
\end{proposition}

\begin{proof}
The proof for ${\mathsf{ASet}}({\mathcal X},{\mathcal F})$ follows from the following containments
\[
\begin{aligned}
{\bm{\omega}}({\mathcal U}\cup{\mathcal U}') &= {\bm{\omega}}({\mathcal U}) \cup {\bm{\omega}}({\mathcal U}') \subset {\mathcal U}\cup {\mathcal U}',\\
{\bm{\omega}}({\mathcal U}\cap{\mathcal U}') &\subset {\bm{\omega}}({\mathcal U}) \cap {\bm{\omega}}({\mathcal U}') \subset {\mathcal U}\cap {\mathcal U}'.
\end{aligned}
\]
The proof for ${\mathsf{RSet}}({\mathcal X},{\mathcal F})$ is similar.
\end{proof}


The same proof as that of Proposition~\ref{att-rep-fbi} leads to the following result.
\begin{proposition}
\label{att-rep-aset}
The mappings ${\bm{\omega}}: {\mathsf{ASet}}({\mathcal X},{\mathcal F}) \to {\mathsf{ Att}}({\mathcal X},{\mathcal F})$ and ${\bm{\alpha}}: {\mathsf{RSet}}({\mathcal X},{\mathcal F}) \to {\mathsf{ Rep}}({\mathcal X},{\mathcal F})$  are lattice epimorphisms.
\end{proposition}



Proposition \ref{prop:cms-forback} establishes  ${\mathcal U} \mapsto {\mathcal U}^c$ as a lattice anti-isomorphism between ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ and
${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$. The result is true for  attracting and repelling sets. To prove this we make use of the following 
result.


\begin{proposition}
\label{prop:char-attset}
A set ${\mathcal U}$ is an attracting set if and only if there exists $k>0$ such that ${\mathcal F}^n({\mathcal U}) \subset {\mathcal U}$ for all $n\ge k$. 
Similarly, a set ${\mathcal U}$ is a repelling set if and only if there exists 
$k\ge 0$ such that ${\mathcal F}^{-n}({\mathcal U}) \subset {\mathcal U}$ for all $n\ge k$.
\end{proposition}

\begin{proof}
If ${\mathcal U} \in {\mathsf{ASet}}({\mathcal X},{\mathcal F})$, then ${\bm{\omega}}({\mathcal U}) \subset {\mathcal U}$. By Proposition \ref{prop:combomega}(i), there exists
$k>0$ such that ${\bm{\omega}}({\mathcal U}) = 
\Gamma^+_k({\mathcal U}) = \bigcup_{n\ge k} {\mathcal F}^n({\mathcal U}) \subset {\mathcal U}$, which implies that ${\mathcal F}^n({\mathcal U}) \subset {\mathcal U}$ for all
$n\ge k$.

Conversely, if there exists $k>0$ such that ${\mathcal F}^n({\mathcal U}) \subset {\mathcal U}$ for all
$n\ge k$, then Proposition \ref{prop:combomega}(iv) implies that ${\bm{\omega}}({\mathcal U}) 
\subset {\mathcal U}$,
which proves that ${\mathcal U}\in {\mathsf{ASet}}({\mathcal X},{\mathcal F})$.
\end{proof}



\begin{proposition}
\label{prop:invo}
The mapping ${\mathcal U}\mapsto {\mathcal U}^c$ is a lattice anti-isomorphism between ${\mathsf{ASet}}({\mathcal X},{\mathcal F})$ and
${\mathsf{RSet}}({\mathcal X},{\mathcal F})$.
\end{proposition}

\begin{proof}
Let ${\mathcal U}\in {\mathsf{ASet}}({\mathcal X},{\mathcal F})$. Then by Proposition \ref{prop:char-attset}, there exists $k>0$ such that  ${\mathcal F}^n({\mathcal U}) \subset {\mathcal U}$ for all $n\ge k$.
As in the proof of Proposition \ref{prop:cms-forback}, assume
$\xi\in {\mathcal U}^c$.
Suppose that there exists $k>0$ such that  $ {\mathcal F}^{-n}(\xi)\cap {\mathcal U}\neq \varnothing$ for all $n\ge k$.
Let $\eta\in{\mathcal F}^{-n}(\xi)\cap {\mathcal U}$ for $n\ge k$. Then
we have
$$
\xi \in {\mathcal F}^n\bigl( \eta\bigr) \subset {\mathcal F}^n({\mathcal U}) \subset {\mathcal U},
$$
which contradicts the fact that $\xi\in {\mathcal U}^c$. We conclude that there exists $k>0$ such that ${\mathcal F}^{-n}({\mathcal U}^c)
\subset {\mathcal U}^c$ for all $n\ge k$, and therefore ${\mathcal U}^c \in {\mathsf{RSet}}({\mathcal X},{\mathcal F})$.
\end{proof}





\subsection{Attractor-repeller pairs}
\label{subsec:attrep-pairs}
For a multivalued mapping ${\mathcal F}\colon {\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$}{\mathcal X}$  one can introduce the notions of dual repeller and dual attractor.


\begin{definition}
\label{defn:dual-cms}
Let  ${\mathcal F}\colon {\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$}{\mathcal X}$ be a multivalued mapping. The  \emph{dual repeller}
${\mathcal A}^*$ to an attractor ${\mathcal A}$ is 
defined by  ${\mathcal A}^* = {\bm{\alpha}}({\mathcal A}^c)$.
Similarly the {\em dual attractor} to a repeller ${\mathcal R}$ is ${\mathcal R}^* = {\bm{\omega}}({\mathcal R}^c)$.
The pairs $({\mathcal A},{\mathcal A}^*)$ and $({\mathcal R}^*,{\mathcal R})$ are called \emph{attractor-repellers pairs} in ${\mathcal X}$.
\end{definition}


It follows from Proposition \ref{prop:cms-forback} and Proposition \ref{prop:combomega}(vii) that if ${\mathcal A}\in{\mathsf{ Att}}({\mathcal X},{\mathcal F})$, then
${\mathcal A}^c \in {\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ and thus ${\mathcal A}^* = {\bm{\alpha}}({\mathcal A}^c)\in{\mathsf{ Rep}}({\mathcal X},{\mathcal F})$.
Similarly, if ${\mathcal R}\in{\mathsf{ Rep}}({\mathcal X},{\mathcal F})$, then ${\mathcal R}^* = {\bm{\omega}}({\mathcal R}^c)\in {\mathsf{ Att}}({\mathcal X},{\mathcal F})$.


\begin{proposition}
\label{prop:cms-star}
Let $({\mathcal A},{\mathcal A}^*)$ 
be a attractor-repeller pair. Then,
$$
{\mathcal A} = {\bm{\omega}}({{\mathcal A}^*}^c)\hbox{~and~} {\mathcal A}^* =  {\bm{\alpha}}({\mathcal A}^c).
$$
The operator ${\mathcal A} \mapsto {\mathcal A}^*$ is a lattice anti-isomorphism from ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$ to ${\mathsf{ Rep}}({\mathcal X},{\mathcal F})$.
\end{proposition}

\begin{proof}
The set ${\mathcal A}^{**}  = {\bm{\omega}}\bigl(({\mathcal A}^*)^c\bigr)$ is forward-backward invariant, and hence for
every $\xi \in {\mathcal A}^{**}$ we have ${\bm{\alpha}}(\xi)\subset {\mathcal A}^{**}$ and  ${\bm{\omega}}(\xi)\subset {\mathcal A}^{**}$.
Moreover, ${\mathcal A} = ({\mathcal A}^c)^c  \subset ({\mathcal A}^*)^c$, and thus
${\mathcal A} = {\bm{\omega}}({\mathcal A}) \subset {\bm{\omega}}\bigl(({\mathcal A}^*)^c\bigr) = {\mathcal A}^{**}$.
Let $\xi \in {\mathcal A}^{**}\setminus {\mathcal A} = {\mathcal A}^{**} \cap {\mathcal A}^c$. Since ${\mathcal A}^c$ is backward invariant,
${\bm{\alpha}}(\xi) \subset  {\mathcal A}^c$, and thus ${\bm{\alpha}}(\xi) \in {\mathcal A}^{**} \setminus {\mathcal A}$.

Also 
${\bm{\alpha}}(\xi) \subset {\bm{\alpha}}({\mathcal A}^c) = {\mathcal A}^*$,
which implies that ${\bm{\alpha}}(\xi) \in {\mathcal A}^{**} \cap {\mathcal A}^*$. The forward invariance of $({\mathcal A}^*)^c$ implies that
${\mathcal A}^{**}\cap {\mathcal A}^* = \varnothing$. We conclude that that ${\bm{\alpha}}(\xi) = \varnothing$ for all $\xi\in {\mathcal A}^{**} \setminus {\mathcal A}$.
By definition ${\mathcal A}^{**}$ is an attractor, and therefore ${\mathcal F}^{-1}(\xi) \cap {\mathcal A}^{**} \not = \varnothing$ for all $\xi\in {\mathcal A}^{**}$,
and consequently ${\bm{\alpha}}(\xi) \not = \varnothing$ for all $\xi \in {\mathcal A}^{**}$, a contradiction.
This shows that ${\mathcal A}^{**} = {\mathcal A}$. Similar arguments 
also apply to repellers. 
The mapping ${\mathcal A}\mapsto {\mathcal A}^*$ is an involution, and the lattices ${\mathsf{ Att}}({\mathcal X},{\mathcal F})$ to ${\mathsf{ Rep}}({\mathcal X},{\mathcal F})$ are isomorphic.

To show that ${\mathcal A} \mapsto {\mathcal A}^*$ is a lattice anti-isomorphism we argue as follows.
Let ${\mathcal A}^* = {\bm{\alpha}}({\mathcal A}^c)$ and  ${\mathcal A}'^* = {\bm{\alpha}}({{\mathcal A}'}^c)$, then by Proposition \ref{att-rep-fbi}
and De Morgans' laws
\begin{eqnarray*}
({\mathcal A} \vee {\mathcal A}')^* &=& {\bm{\alpha}}\bigl(({\mathcal A}\vee{\mathcal A}')^c\bigr) = {\bm{\alpha}}\bigl(({\mathcal A}\cup{\mathcal A}')^c\bigr)\\
&=& {\bm{\alpha}}\bigl({\mathcal A}^c\cap {{\mathcal A}'}^c\bigr) = {\bm{\alpha}}({\mathcal A}^c)\wedge {\bm{\alpha}}({{\mathcal A}'}^c)\\
&=& {\mathcal A}^* \wedge {\mathcal A}'^*.
\end{eqnarray*}
The same holds for ${\mathcal A}^*$ and ${\mathcal A}'^*$, i.e. $({\mathcal A}^* \vee {\mathcal A}'^*)^* = {\mathcal A}^{**} \wedge {\mathcal A}'^{**}
= {\mathcal A} \wedge {\mathcal A}'$.
Observe that 
$$
({\mathcal A} \wedge {\mathcal A}')^* =  ({\mathcal A}^* \vee {\mathcal A}'^*)^{**} =  {\mathcal A}^* \vee {\mathcal A}'^*,
$$
which proves the proposition.
\end{proof}


Much of the discussion of this section up to this point can be summarized in the following commutative diagram of lattice homomorphisms.
\begin{equation}
\label{eq:diag+-}
\begin{diagram}
\node{{\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})}\arrow{se,l,V}{\imath}\arrow{sse,l,A}{{\bm{\omega}}} \arrow[3]{e,l,<>}{^c}  \node{}\node{}
\node{{\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})}\arrow{ssw,r,A}{{\bm{\alpha}}}\arrow{sw,l,V}{\imath}\\
\node{}\node{{\mathsf{ASet}}({\mathcal X},{\mathcal F})} \arrow{e,l,<>}{^c} \arrow{s,l,A}{{\bm{\omega}}}\node{{\mathsf{RSet}}({\mathcal X},{\mathcal F})} \arrow{s,r,A}{{\bm{\alpha}}}\\
\node{}\node{{\mathsf{ Att}}({\mathcal X},{\mathcal F})} \arrow{e,l,<>}{^*}   \node{{\mathsf{ Rep}}({\mathcal X},{\mathcal F}).} 
\end{diagram}
\end{equation}













\section{Introduction}
\label{sec:intro}
The issue of computability in the context of nonlinear dynamics has recently received considerable attention; see for example \cite{braverman,bournez} and references therein. An important implication of this work is that the topological structure of invariant sets need not be computable.
Perhaps this is not surprising, given that the work over the last century has clearly demonstrated the incredible diversity and complexity of invariant sets.
One interpretation of these results for practical applications  is that analyzing dynamics by computing invariant sets 
may lead to a level of computations that is too fine to be useful and perhaps ultimately unattainable.



With this in mind we consider the question of the computation of coarse dynamical structures for the following rather general setting.
A \emph{dynamical system} on a topological space $X$ is a continuous map $\varphi: {\mathbb{T}}^+ \times X \to X$ that
satisfies
\begin{enumerate}
\item [(i)] $\varphi(0,x) = x$ for all $x\in X$, and
\item [(ii)] $\varphi(t,\varphi(s,x)) = \varphi(t+s,x)$ for all $s,t\in {\mathbb{T}}^+$ and for all $x\in X$,
\end{enumerate}
where ${\mathbb{T}}$ denotes the time domain, which is  either ${\mathbb{Z}}$ or ${\mathbb{R}}$ and ${\mathbb{T}}^+:=\setof{t\in{\mathbb{T}}\mid t\geq 0}$.
As is discussed in detail in Section~\ref{subsec:approximationDS}, for the results presented in this paper there is no loss of generality in assuming the dynamics is generated by the continuous function $f\colon X\to X$ where $f(\cdot) := \varphi(1,\cdot)$.  
The most significant assumption we make is that $X$ is a compact metric space.  
We emphasize that we do {\em not} assume that $f$ is injective nor surjective. 

Recall that a set $U\subset X$ is an \emph{attracting neighborhood} for  $f$ if
\[
\omega(U,f):= \bigcap_{n\in{\mathbb{Z}}^+} {\rm cl}\,}%{\text{cl}\left(\bigcup_{k=n}^\infty f^k(U)  \right) \subset \mbox{\rm int\,}(U).
\]  
A set $A\subset X$ is an \emph{attractor}  if there exists an attracting neighborhood $U$  such that $A = \omega(U,f)$.  
The sets of all attracting neighborhoods and all attractors are denoted by ${\mathsf{ ANbhd}}(X,f)$ and ${\mathsf{ Att}}(X,f)$, respectively. 
We remark that in general a given system can have at most a countably infinite number of attractors.

Attractors are central to the study of nonlinear dynamics for at least two reasons.  
First, they are the invariant sets that arise from the asymptotic dynamics of regions of phase space, thus they capture the ``observable" dynamics.
Second, they are intimately related to the structure of the global dynamics.  More precisely, recall that Conley's fundamental decomposition theorem \cite{robinson} states that 
 the dynamics is gradient like outside of the chain recurrent set.
Furthermore, the chain recurrent set can be characterized using the set of attractors and their dual repellers.
With this in mind in \cite{KMV0} we discuss a combinatorial approach for identifying attracting neighborhoods and demonstrate that, even though there may be infinitely many attractors, it is possible to obtain arbitrarily good approximations in phase space of these attractors.  This in turn provides a constructive method for obtaining arbitrarily good approximations of the chain recurrent set.

From the perspective of understanding the dynamics of nonlinear models one  encounters the issue of minimal scales. 
Every model has a scale below which the model is no longer valid.
Any given numerical simulation has a minimal scale, and there is a maximal resolution for experimental measurements.
Especially in the latter  case, the maximal relevant resolution is often dependent on the location in phase space.
This issue of scale motivates recent work \cite{database,bush2012combinatorial,Ban,lyapunov} that focuses on rigorously computing global dynamical structures with an a priori choice of  maximal resolution of measurement.


Given a fixed scale there can be at most a finite subset of attractors that are observable. 
This suggests that understanding finite resolution dynamics requires a deeper understanding of the structure of the set of all attractors.
In \cite{KMV-1a} we  prove that ${\mathsf{ Att}}(X,f)$ and ${\mathsf{ ANbhd}}(X,f)$  are bounded, distributive lattices. 
The lattice operations for ${\mathsf{ ANbhd}}(X,f)$ are straightforward, $\vee = \cup$ and $\wedge = \cap$.
The operations for ${\mathsf{ Att}}(X,f)$ are more subtle; $\vee = \cup$, but the $\wedge$ operation is given by $A_1\wedge A_2=\omega(A_1\cap A_2,f)$. 
A consequence of the lattice structure is that a finite set of attractors generates a finite sublattice ${\mathsf A}\subset {\mathsf{ Att}}(X,f)$ of attractors.

By definition $\omega(\cdot,f)\colon {\mathsf{ ANbhd}}(X,\varphi)\to {\mathsf{ Att}}(X,f)$ is surjection. In \cite{KMV-1a} we show that this is, in fact, a lattice epimorphism.  
However, this fact does not provide any information, in and of itself, as to the structural relationship between a given finite lattice of attractors ${\mathsf A}$, the dynamic information of interest, and the set of attracting neighborhoods $\omega(\cdot,f)^{-1}({\mathsf A}) \subset {\mathsf{ ANbhd}}(X,f)$, which consist of the potentially observable or computational objects.
This is resolved by the following theorem which proves that the lattice structure of invariant dynamics of interest, namely attractors, is contained within the lattice structure of the observable or computable   dynamics, namely attracting neighborhoods.


\begin{theorem}
\label{thm:kmv1}
\cite[Theorem 1.2]{KMV-1a}
Let $\imath$ denote the inclusion map.
 For every finite  sublattice ${\mathsf A} \subset {\mathsf{ Att}}(X,f)$, there exists a  lattice monomorphism $k$ such that the following diagram 
\[
\begin{diagram}
\node{~} \node{{\mathsf{ ANbhd}}(X,f)} \arrow{s,r,A}{\omega(\cdot,f)}\\
\node{{\mathsf A}}  \arrow{e,l,V}{\imath} \arrow{ne,l,..,V}{k}  \node{{\mathsf{ Att}}(X,f)} 
\end{diagram}
\]
commutes. 
\end{theorem}
The homomorphism $k$ is called a lift of $\imath$ through $\omega(\cdot,f)$. 
The proof of Theorem~\ref{thm:kmv1} is nontrivial, especially since we are not assuming that $f$ is injective nor surjective.  Thus  \cite{KMV-1a} contains a detailed discussion and development of the definitions and properties of many of the standard dynamical concepts such as attractors, repellers, invariant sets, etc.~as well as corresponding neighborhoods of these objects. We do not repeat them in this paper, but recall them as necessary.

As suggested at the beginning of this introduction, the focus of this paper is on computation.
The computational methods we are interested in analyzing are based on a finite discretization, indexed by ${\mathcal X}$, of the phase space $X$ and the computation of an outer approximation of a map $f\colon X\to X$ by a combinatorial multivalued map ${\mathcal F}\colon{\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$}{\mathcal X}$ (see Section~\ref{sec:cgt}).
Observe that a combinatorial multivalued map is equivalent to a finite directed graph. 
The latter interpretation is useful from the perspective of algorithms, but treating ${\mathcal F}$ as a map provides intuition as to how to define important dynamical analogues in the discrete setting. This is discussed in detail in Section~\ref{sec:comb-syst}, but  we also point out the work in \cite{McG,McGW} on closed relations.

Given our focus on attractors there are three structures arising from combinatorial dynamics that are of particular interest:~forward invariant sets, ${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F}):=\setof{{\mathcal S}\subset {\mathcal X}\mid {\mathcal F}({\mathcal S})\subset ({\mathcal S})}$;
 attracting sets, ${\mathsf{ASet}}({\mathcal X},{\mathcal F}):=\setof{{\mathcal U}\subset{\mathcal X} \mid {\bm{\omega}}({\mathcal U},{\mathcal F}) \subset {\mathcal U}}$; and 
 attractors, ${\mathsf{ Att}}({\mathcal X},{\mathcal F}) := \setof{{\mathcal A}\subset{\mathcal X} \mid {\mathcal F}({\mathcal A})={\mathcal A}}$.
In Section~\ref{sec:comb-syst} we assign appropriate lattice structures to these sets. Note that these lattices are explicitly computable, since they are defined in terms of elementary operations on a finite directed graph.

To easily pass between the combinatorial  and continuous dynamics, we insist that the discretization of phase space be done with regular closed sets.  
Given a compact metric space $X$, the family of all regular closed sets ${\mathscr R}(X)$ forms a Boolean algebra.
As this gives rise to technical issues, it is important to note that the lattice operations for ${\mathscr R}(X)$ differ from those of ${\mathsf{Set}}(X)$, in particular $\vee=\cup$ and $\wedge={\rm cl}\,}%{\text{cl}(\mbox{\rm int\,}(\cdot)\cap\mbox{\rm int\,}(\cdot))$.
The atoms of any finite sublattice of ${\mathscr R}(X)$ form a {\em grid}, which provides an appropriate discretization of the phase space $X$.
As indicated above the grid is indexed by ${\mathcal X}$. We pass from subsets of ${\mathcal X}$ to subsets of $X$, by means of an evaluation map
$\supp{\cdot}\colon {\mathcal X} \to {\mathscr R}(X)$.  

Observe that, as a consequence of the discretization procedure, our computations can only represent elements of ${\mathscr R}(X)$, which is a strict subset of ${\mathsf{Set}}(X)$.  
We denote the family of attracting neighborhoods of $f$ that are regular closed sets of $X$ by ${\mathsf{ ANbhd}}_{\scrR}(X,f)$.
Even though ${\mathsf{ ANbhd}}_{\scrR}(X,f)\subset {\mathsf{ ANbhd}}(X,f)$, this inclusion is not a lattice homomorphism since, the lattice operations are different.  
Furthermore, for a fixed multivalued map ${\mathcal F}$, an outer approximation for $f$, the evaluation map $\supp{\cdot}$ maps ${\mathsf{ASet}}({\mathcal X},{\mathcal F})$ to a strict subset of ${\mathsf{ ANbhd}}_{\scrR}(X,f)$.  
The lattice homomorphisms that relate the above mentioned lattices produce the following commutative diagram (see Remark~\ref{rem:comm-lift11} for the analogue for $\varphi$)
\begin{equation}
\label{diag:comm-lift11}
\begin{diagram}
\node{{\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})}\arrow{se,r,A}{{\bm{\omega}}(\cdot,{\mathcal F})}\arrow{e,l,V}{\imath}\node{{\mathsf{ASet}}({\mathcal X},{\mathcal F})}\arrow{e,l,V}{|\cdot|}\arrow{s,r,A}{{\bm{\omega}}(\cdot,{\mathcal F})}\node{{\mathsf{ ANbhd}}_{\scrR}(X,f)}\arrow{e,l,A}{\omega(\cdot,f)}\node{{\mathsf{ Att}}(X,f)}\\
\node{}\node{{\mathsf{ Att}}({\mathcal X},{\mathcal F})}\arrow{ene,r}{\omega(|\cdot|,f)}
\end{diagram}
\end{equation}
where $\imath$ is the inclusion map.

Returning to the question of computability, the analoguous result to Theorem~\ref{thm:kmv1} in the context of a multivalued outer approximation ${\mathcal F}$ of $f$ is the existence of a lifting for either of the following commutative diagrams
\begin{equation}
\label{eq:twodiagrams}
\begin{diagram}
\node{~} \node{{\mathsf{ASet}}({\mathcal X},{\mathcal F})} \arrow{s,r,A}{\omega(\cdot,f)}\\
\node{{\mathsf A}}  \arrow{e,l,V}{\imath} \arrow{ne,l,..,V}{}  \node{{\mathsf{ Att}}(X,f)} 
\end{diagram}
\qquad
\text{or}
\quad
\begin{diagram}
\node{~} \node{{\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})} \arrow{s,r,A}{\omega(\cdot,f)}\\
\node{{\mathsf A}}  \arrow{e,l,V}{\imath} \arrow{ne,l,..,V}{}  \node{{\mathsf{ Att}}(X,f)} 
\end{diagram}
\end{equation}
for a given finite sublattice of attractors ${\mathsf A}$.  Observe that by \eqref{diag:comm-lift11} a lift for the second diagram implies a lift for the first.  

If ${\mathsf{ Att}}(X,f)$ is an infinite lattice, then any given approximation ${\mathcal F}\colon {\mathcal X}\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$}{\mathcal X}$  captures 
only a finite sublattice ${\mathsf A}\subset {\mathsf{ Att}}(X,f)$.
With this in mind we consider sequences of multivalued maps ${\mathcal F}_n\colon {\mathcal X}_n\raisebox{-0.2ex}{$\,\overrightarrow{\to}\,$}{\mathcal X}_n$ that provide arbitrarily close approximations of $f$. 
There are essentially two types of sequences that we consider, one that involves a coherent refinement of the grids associated with ${\mathcal X}_n$ and the other where it is only assumed that the diameter of the grid 
can be made arbitrarily small.
The first is most relevant if one considers a numerical scheme based on a systematic refinement of phase space.
The second is relevant if one wants to compare approximations performed using different types of discretizations of phase space.
With a coherent refinement scheme we are able to prove the existence of a lifting, Theorem~\ref{thm:conv-latt-1}, based on the second diagram of \eqref{eq:twodiagrams}. The more general result, Theorem~\ref{thm:conv-latt-3}, is based on the first diagram.

We conclude this introduction with a brief outline of the paper. 
Section~\ref{sec:comb-syst} introduces the dynamics of combinatorial multivalued maps and the appropriate lattice structures.
This includes the lattices of backward invariant sets ${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$, repelling sets ${\mathsf{RSet}}({\mathcal X},{\mathcal F})$, and repellers ${\mathsf{ Rep}}({\mathcal X},{\mathcal F})$.
The duality between these lattices, associated with backward dynamics, and those associated with forward dynamics is presented in the commutative diagram \eqref{eq:diag+-}.  

In Section~\ref{sec:cont-graph} we focus on combinatorial multivalued maps as an approximation scheme for continuous nonlinear dynamics. 
We begin in Section~\ref{sec:cgt} by recasting the concept of grid \cite{Mrozek-grid} into the more general setting of regular closed subsets,
cf.\ \cite{Walker}.  
Section~\ref{subsec:at-rep-neigh} contains results, summarized for the most part by Theorems~\ref{thm:first-evalf} and \ref{thm:commutative-diagram}, that relate the lattice structures of combinatorial systems with those of continuous systems.
Section~\ref{subsec:approximationDS} deals with the  issue of the approximation of dynamical systems where the time variable ${\mathbb{T}} = {\mathbb{R}}$.  As mentioned earlier in the introduction, one approach is to set $f(\cdot) = \varphi(\tau, \cdot)$, where if ${\mathbb{T}} = {\mathbb{R}}$ then it is permissible to choose any fixed $\tau >0$.  
For this approach the concept of outer approximation is sufficient.
The weakness of this approach is that from the perspective of obtaining optimal approximations it may be desirable to choose different values of $\tau$ on different regions of phase space.
An alternative approach developed in \cite{BKM} involves combinatorializing  the flow  via a triangulation of space and the multivalued mapping is defined by considering the behavior of the associated vector field on the vertices of the triangulation.
This method fits into our framework but requires the notion of a weak outer approximation as is demonstrated via the commutative diagram \eqref{diag:AR2a}.

Section~\ref{sec:str-conv} brings together the ideas of Sections~\ref{sec:comb-syst} and \ref{sec:cont-graph} to demonstrate the general computability of the lattices of interest. 
We begin in Section~\ref{subsec:conv-fam} with a discussion concerning the convergence  of outer approximations from a more classical numerical analysis perspective, i.e.\ tracking of individual orbits.
Section~\ref{subsec:resol} discusses the identification individual attractors or repellers using a outer approximations.
Section~\ref{subsec:PLG} returns to the issue of convergent sequences of outer approximations but from a lattice theoretic perspective. 
We also discuss Birkhoff's representation theorem for finite distributive lattices and discuss its application in the context of lifts.
Finally in Section~\ref{subset:lift-grid} we prove the desired lifting theorems, Theorem~\ref{thm:conv-latt-1} and  \ref{thm:conv-latt-3}.
The reader will immediately note that the details of the proofs are carried out in the context of repeller structures, Theorems~\ref{thm:conv-latt-2} and \ref{thm:lift}, and then duality is used to obtain Theorem~\ref{thm:conv-latt-1} and  \ref{thm:conv-latt-3}, respectively.
The reason for this is related to the lattice structures of ${\mathsf{ Att}}(X,f)$ and ${\mathsf{ Rep}}(X,f)$. In particular, $\wedge = \cap$ for  ${\mathsf{ Rep}}(X,f)$, but not for ${\mathsf{ Att}}(X,f)$.
This lack of symmetry arises from the fact that we do not assume that $f$ is either injective or surjective, and thus attractors and repellers have fundamentally different properties. The duality between between attractor/attracting neighborhoods and repellers/repelling neighborhoods is expressed in following diagram, cf.\ \eqref{diag:AR2}
\begin{equation}\label{diag:AR2b}
\begin{diagram}
\node{{\mathsf{ ANbhd}}(X,f)} \arrow{e,l,<>}{^c} \arrow{s,l,A}{\displaystyle \omega}\node{{\mathsf{ RNbhd}}(X,f)} \arrow{s,r,A}{\displaystyle \alpha}\\
\node{{\mathsf{ Att}}(X,f)} \arrow{e,l,<>}{^*}   \node{{\mathsf{ Rep}}(X,f)} 
\end{diagram}
\end{equation}
where ${\mathsf{ Rep}}(X,f)$ and ${\mathsf{ RNbhd}}(X,f)$ are the lattices of repellers and repelling neighborhoods, respectively. 

\begin{remark}
We include a variety of different lattices in this paper.
In each case the $\vee$ operation is simply the union of sets, but there are five different  $\wedge$  operations.
For the benefit of the reader we include the following tables, the first for topological structures and the second for combinatorial structures, as a simple summary.  
\vskip 12pt
\begin{center}
\begin{tabular}{|l|c|}
\hline
Lattice & $U \wedge V$\\
\hline
${\mathsf{ Att}}(X,f)$ & $\omega(U\cap V)$\\
${\mathsf{ Rep}}(X,f)$ & $U\cap V$\\
${\mathsf{ ANbhd}}(X,f)$ & $U\cap V$\\
${\mathsf{ RNbhd}}(X,f)$ & $U\cap V$\\
${\mathsf{ ANbhd}}_{\scrR}(X,f)$ & ${\rm cl}\,}%{\text{cl}(\mbox{\rm int\,}(U)\cap\mbox{\rm int\,}(V))$\\
${\mathsf{ RNbhd}}_{\scrR}(X,f)$ & ${\rm cl}\,}%{\text{cl}(\mbox{\rm int\,}(U)\cap\mbox{\rm int\,}(V))$\\
${\mathsf{ Invset}}^\pm(X,f)$ & $U\cap V$\\
\hline
\end{tabular}
\qquad
\begin{tabular}{|l|c|}
\hline
Lattice & ${\mathcal U} \wedge {\mathcal V}$\\
\hline
${\mathsf{ Att}}({\mathcal X},{\mathcal F})$ & ${\bm{\omega}}({\mathcal U}\cap {\mathcal V})$\\
${\mathsf{ Rep}}({\mathcal X},{\mathcal F})$ & ${\bm{\alpha}}({\mathcal U}\cap {\mathcal V})$\\
${\mathsf{ASet}}({\mathcal X},{\mathcal F})$ & ${\mathcal U}\cap {\mathcal V}$\\
${\mathsf{RSet}}({\mathcal X},{\mathcal F})$ & ${\mathcal U}\cap {\mathcal V}$\\
${\mathsf{ Invset}}^+({\mathcal X},{\mathcal F})$ & ${\mathcal U}\cap {\mathcal V}$\\
${\mathsf{ Invset}}^-({\mathcal X},{\mathcal F})$ & ${\mathcal U}\cap {\mathcal V}$\\
\hline
\end{tabular}
\end{center}
\vskip 12pt

\end{remark}




