In mathematics, a Cauchy sequence is a sequence where the distance between any two elements of the sequence decreases as the sequence progresses. Cauchy sequences are named after Augustin-Louis Cauchy.