コーシー列
A Cauchy net generalizes the notion of Cauchy sequence to nets defined on uniform spaces.