Assertion: real number | /r/HasProperty | the smallest possible system
Facets:
Source sentences:
text: lim x n , defined for all bounded monotone sequences, and you are saying that the real numbers are the smallest possible system that contains the rationals and is closed under this operation.