Definition:Subnet

Definition
Let $(E,\le)$ and $(D,\preceq)$ be directed sets.

Let $A$ be a non-empty set.

Let $T \colon E \to A$ and $S \colon D \to A$ be nets in $A$.

Then $T$ is a subnet of $s$ if and only if there exists a cofinal mapping $N\colon E \to D$ such that $T = S \circ N$.

That is, for each $m$ in $D$, there is an $n$ in $E$ such that for each $p \in E$, $p \ge n \implies N(p) \succeq m$.

Also defined as
Some authors require the mapping $q$ to be monotone, while others do not.