Assertion: division | /r/DefinedAs | a/0 = ∞
Facets:
value: naturally
type: OTHER
value: for positive a.
type: OTHER
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.