Assertion: real number | /r/HasProperty | represented by infinite decimal
Facets:
Source sentences:
text: This least upper bound is one way to define infinite decimal expansions: the real number represented by an infinite decimal is the least upper bound of its finite truncations.