Assertion: real number | /r/HasProperty | the set of rational numbers
Facets:
Source sentences:
text: So the real number 0.999... is the set of rational numbers r such that r < 0, or r < 0.9, or r < 0.99, or r is less than some other number of the form