\begin{definition}[Definition:Moore-Smith Sequence]
Let $\left({S, \preceq}\right)$ be a directed set.
Let $T$ be a set.
Let $f: S \to T$ be a mapping.
Then $f$ is a '''Moore-Smith sequence''' in $T$.
\end{definition}