\begin{definition}[Definition:Cauchy Criterion]
The '''Cauchy criterion''' is the necessary and sufficient condition for an infinite sequence in a complete metric space to converge that the absolute difference between successive terms with sufficiently large indices tends to zero.
It can be applied in a number of contexts:
\end{definition}