##  [Net](/net-0) 

 Definition

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

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

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

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

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

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

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

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

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.