A net is a generalization of a sequence where a directed set is used as the index set instead of positive integers. Convergence of nets can be defined in a similar way as convergence of sequences. Convergent nets in a topological space uniquely determine its topology.
Directed sets are defined to be sets equipped with a preorder that admit (finitary) upper bounds e.g. pairs $(D, \preceq)$ such that $\forall p,q \in D$ there exists $r \in D$ such that $p \preceq r$ ...
Let's define a net and subnet in this way: A net is any function of the form $n:(P,\le)\to X$ where $(P,\le)$ is a (preordered) directed set. A net $m:(P',\le)\to X$ is a subnet of the net ...
A net is a function from a directed set into a topological space, and it is said to converge to a point if certain conditions are satisfied. Similarly, a direct system is a function from a directed ...