Assertion: sequence's term | /r/HasProperty | discarded
Facets:
Source sentences:
text: A Cauchy sequence is a sequence whose terms ultimately become arbitrarily close together, after sufficiently many initial terms have been discarded.