generalization of Cauchy sequence

A generalization of a Cauchy sequence is a sequence (or net/filter) in a more abstract setting whose elements become arbitrarily close with respect to a given structure (such as a uniformity, metric-like function, or convergence notion), extending the classical Cauchy condition beyond metric spaces.