Cauchy sequence
There is also a concept of Cauchy sequence in a group formula_84: