Assertion: real number | /r/HasProperty | represented by construction
Facets:
Source sentences:
text: By construction, every real number x is represented by a Cauchy sequence of rational numbers.