Definition:Net (Set Theory)

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

Let $T$ be a set (most often a topological space).

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

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