Assertion: real number | /r/HasProperty | infinitesimal
Facets:
Source sentences:
text: Element of a nonstandard model of the reals, which can be infinite or infinitesimal