Cauchy sequence
A Cauchy net generalizes the notion of Cauchy sequence to nets defined on uniform spaces.