 Nets are a generalization of sequences that are useful in spaces which are not first countable.Filters further generalize the concept of convergence.In metric spaces, one can define Cauchy sequences.