Order-Preserving Net
# Definition
Let $(X, \leq)$ be a Partial Ordering and $I$ a Nonempty Directed Partial Ordering Index Set. We call a Net $(x_{\alpha}){\alpha \in I} \subset X$ an Order-Preserving Net if $x{\bullet}: I \to X$ is an Order-Preserving Function.