Assertion: real number | /r/HasProperty | its limit
Facets:
Source sentences:
text: It’s a fact that every Cauchy sequence converges to a real number as its limit, which means that every Cauchy sequence defines a real number (its limit).