Assertion: negative real number | /r/HasProperty | r ≥
Facets:
Source sentences:
text: The non-negative real numbers, R ≥ 0 = {