Assertion: real number | /r/HasProperty | closed under this operation
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.