Assertion: positive infinitesimal | /r/HasProperty | element
Facets:
Source sentences:
text: A positive infinitesimal in an ordered field is an element $e > 0