Assertion: negative real number | /r/HasProperty | discarded
Facets:
Source sentences:
text: The negative real numbers can be discarded, and infinity introduced, leading to the set [0, ∞], where division by zero can be naturally defined as a/0 = ∞ for positive a.