Assertion: real number's part | /r/HasProperty | h
Facets:
Source sentences:
text: In non-standard analysis (which involves a hyperreal enlargement of the number system), the limit of a sequence ( a n ) {\displaystyle (a_{n})} can be expressed as the standard part of the value a H {\displaystyle a_{H}} of the natural extension of the sequence at an infinite hypernatural index