Net (topology)/Definition

Function on a directed set into a topological space which generalises the notion of sequence.