Nets

In the topology scenario, a net is a generalization of a sequence:

Net

Suppose is a topological space, then a net in is a map , where is a directed set. We often write it as .