A net (or Moore–Smith net) in a space X is a function x: D → X from a directed set (D, ≤) into X. Nets generalize sequences by allowing arbitrary directed indexing sets so they can capture convergence in spaces that are not first countable.

Principle

The directed index orders which values eventually dominate others; convergence of a net x_d → x means that for every neighborhood U of x there is an index d0 with x_d ∈ U for all d ≥ d0. Nets embody eventuality in a way flexible enough to reproduce topological closure and continuity without countability hypotheses.

Demonstration

Consider the directed set of finite subsets of an infinite index I ordered by inclusion; a net indexed by these finite sets can witness convergence of functions on I in the product topology when no sequence does. In a first-countable space every convergent net has a subsequence (sequence) witness, showing nets strictly generalize sequences.

Misapplication

Treating nets as mere synonyms for sequences and restricting indices to N loses generality; indexing by an ordered set that is not directed or misreading 'eventually' as 'for all later indices' without respect to the directed relation yields incorrect convergence assertions.

Consequence

Nets give equivalent characterizations of closure, continuity, and compactness in arbitrary topological spaces: a point x is in the closure of A iff some net from A converges to x. They make precise the limiting behavior needed for many general topological arguments.

Reversal

Replacing eventuality by cofinality of complements or replacing nets by filters yields the dual language: every net generates a filter and every filter may be represented by nets up to cofinal equivalence; this duality often clarifies proofs by switching viewpoint.

Boundary

Nets are extremely general and hence sometimes unwieldy; in first-countable settings sequences suffice and in measure-theoretic contexts nets are less common. Nets require directed index sets; arbitrary functions from unordered sets are not nets and do not inherit the convergence notion.

Semantic Tension

Net (Moore–Smith net) is in tension with sequence (countable index) and with filter-based formulations of convergence; practitioners must choose nets when countability fails, but often revert to sequences in metrizable contexts for simplicity.

Synthesis

A net is a directed-index family of points that codifies eventual membership in neighborhoods: by allowing arbitrary directed indices it captures the full topological notion of convergence, restoring equivalences between closure, continuity and convergence beyond sequential settings.