Assertion: real number | /r/ObjectUse | used in non-standard analysis
Facets:
Source sentences:
text: For the extension of the real numbers used in non-standard analysis , see Hyperreal number