Assertion: real number's property | /r/CapableOf | distinguish real numbers
Facets:
value: from other ordered fields
type: OTHER
Source sentences:
text: In particular, this property distinguishes the real numbers from other ordered fields (e.g., the rational numbers Q {