Definition:Net (Preordered Set)

Definition
Let $\mathcal{X}$ be a nonempty set and $\Lambda$ a preordered set (endowed with a preorder $\leq$) Any mapping from $\Lambda$ to $\mathcal{X}$ is called a net.

Note : Nets are extensions of sequences. In fact, a sequence over a set $\mathcal{X}$ is a mapping from $\N$ to $\mathcal{X}$ and $\N$ - endowed with the standard comparison relation $\leq$ (which is a partial order and a fortiori a preorder) - is a preordered set. Hence a sequence is a special case of a net.