Definition:Net (Set Theory)

Definition
Let $\left({S, \preceq}\right)$ be a directed set.

Let $T$ be a set.

Let $f \colon S \to T$ be a function.

Then $f$ is a net, or Moore-Smith Sequence in $T$.

Remark
In most cases, $T$ will be the underlying set of a topological space.