Assertion: real number | /r/MadeOf | limit
Facets:
Source sentences:
text: A main reason for using real numbers is that the reals contain all limits.
text: The main reason for introducing the reals is that the reals contain all limits.