There are two alternative methods of defining the concept of “convergence” of a sequence, one involving explicit mention of the limit, the other (Cauchy's condition) giving a necessary and sufficient condition in terms of the elements of the sequence only. The two definitions are equivalent, because of the property of completeness of the real number system.