The Free On-line Dictionary of Computing (30 December 2018):

Cauchy sequence

    A sequence of elements from some vector space
   that converge and stay arbitrarily close to each other (using
   the norm definied for the space).

   (2000-03-10)