Assertion: sequence's value | /r/HasProperty | h of the index n
Facets:
Source sentences:
text: \mathbb {N} \rangle } has a natural hyperreal extension, defined for hypernatural values H of the index n in addition to the usual natural n.