\begin{definition}[Definition:Net (Preordered Set)]
Let $X$ be a nonempty set.
Let $\left({\Lambda, \precsim}\right)$ be a preordered set.
Let $F: \Lambda \to X$ be a mapping.
Then $f$ is referred to as a '''net'''.
\end{definition}