Question: Usually net is defined as a function from a directed preordered set to a topological space. What would we lose or gain if we worked with partially ordered directed sets only?
Background and motivation
For me, one of the most important property of nets in topological spaces is the following:
Let $X$ be a topological space, $x\in X$ and $A\subseteq x$. Then $x\in\overline A$ if and only if there exists a net $(x_d)_{d\in D}$ such that $x_d$ converges to $x$ and $x_d\in A$ for each $d\in D$.
The above property means that topology of $X$ is uniquely determined by convergence of nets.
The above property would be true also if we worked only with nets on directed posets.
Indeed, let $x\in\overline A$. Let $\mathcal N_x$ be the set of all open neighborhoods of $x$. Then $D=(\mathcal N_x,\supseteq)$ is a poset, which is directed. For any $U$ choose one element $x_U\in A\cap U$. Then the net $(x_U)_{U\in\mathcal N_x}$ converges to $x$.
So, if I did not make a mistake in this proof, the above property is true also if we work only with nets on posets.
In some constructions it is useful that we are allowed to work with nets on preordered sets. One of them is constructing a net corresponding to a given filter $\mathcal F$ such that this net converges to $x$ if and only if the filter $\mathcal F$ does. Here the net on the set $\{(A,a); a\in A\in \mathcal F\}$ preordered by $$(A,a)\le (B,b) \Leftrightarrow A\supseteq B$$ is used, and this is indeed a preordered set, not a partially ordered set. See the part on correspondence of nets and filters in P. L. Clark's notes on convergence for more details and other related constructions. In fact, P. L. Clark writes here that this "justifies our willingness to entertain directed quasi-ordered sets". (This answers to some extent my question. But I guess that the authors working with posets also have some reasons to do so.)
Another possible viewpoint:
For any class $\mathcal C$ of directed sets we can define the class of topological spaces defined by the property:
$V$ is closed in $X$ if and only if $V$ is closed w.r.t. limits of nets on directed set from $\mathcal C$.
If $\mathcal C$ = all directed sets, then we get all topological spaces.
If $\mathcal C=\{\mathbb N\}$, then we get sequential spaces
If $\mathcal C=$ well-ordered sets or $\mathcal C=$ linearly ordered sets, then we get pseudoradial spaces
So in this context we can view this question as the question what we get if $\mathcal C$=directed posets (which seems quite natural, after seeing that several classes of spaces arise in this way).
Going through literature and also quick google searches bellow shows that quite a few authors use posets and not preordered sets.
I could mention a few books which use posets:
Munkres: Topology, Supplementary Exercises after Chapter 3, p. 187 in 2nd edition. (Although he does not pay much attention to nets - they are left as supplementary exercises.)
Runde: A taste of topology, see Definition 1.3.3 on p.18 and Definition 3.2.8 on p.73
Bukovský: The Structure of the Real Line p.32
In Hausdorff spaces, we probably lose little either way. In the "partial order" setting we require the axiom of choice more often. (Did you see "choose" in your write-up? Now do the same thing WITHOUT the axiom of choice...)
There is more than one paper where the author claims something doesn't work for nets (in order to justify his/her use of filters) by incorrectly requiring the partial-order version of directed set.
One use of nets (indeed, the original use by Moore and Smith) is to explain the convergence used in the definition of the Riemann integral, where you have a Riemann sum for each tagged partition of an interval, and you direct them by refinement, allowing any choice of tags. Preordered only!
added
This came up again, so let me amplify my remark about non-Hausdorff spaces, and avoiding the axiom of choice (AC).
Let $(X, \mathscr X)$ and$(Y, \mathscr Y)$ be topological spaces, let $f : X \to Y$ be a function, let $a \in X$. For $a \in X$ let $\mathscr X_a = \{U \in \mathscr X : a \in U\}$ be the set of open neighborhoods of $a$; similarly for $\mathscr Y_b$. We say that $f$ is continuous at $a$ iff:
But if we like to use nets, we want to say: this is equivalent to
To avoid AC we do it like this: Suppose $f : X \to Y$ is discontinuous at $a$. We want to find a net with $p_d \to a$ but $f(p_d) \not\to f(a)$. Easy: Let $$ D = \big\{(U,x) : x \in U, x \in U \in \mathscr X_a\big\} \tag1$$ ordered by $$ (U_1,x_1) \le (U_2, x_2) \quad\Longleftrightarrow\quad U_1 \supseteq U_2. \tag2$$ This is directed because: the intersection of two open sets is open. [We avoided AC here; we did not choose an element of $U$, instead we use all of the elements.]
Define a net $(p_d)_{d \in D}$ by $p_{(U,x)} = x$. Then we can show $x_d \to a$. Indeed, given $U \in \mathscr X_a$, we have $p_d \in U$ for all $d \ge (U,a)$.
Also we claim $f(p_d) \not\to f(a)$. We assumed $f$ is discontinuous at $a$. So there is $V$ with $f(a) \in V \in \mathscr Y_{f(a)}$ but for any $U \in \mathscr X_a$ we have $f(U) \not\subseteq V$. That is: there is $(U,y) \in D$ with $f(p_{(U,y)}) \notin V$.
Remarks. Notice that, in a non-Hausdorff space, it could be that there is a minimal open set with more than one element. The construction above still works. But the directed set ($1$) ordered by ($2$) is not partially ordered. Only quasi-ordered.
The originating material on nets (Birkhoff 1950, then Kelley 1955) used quasi-ordered directed sets, so everything worked. Subsequent readers of their expositions have sometimes not noticed this.