Assertion: set's number | /r/HasProperty | a subset of the real numbers
Facets:
value: with its usual ordering
type: OTHER
Source sentences:
text: For example, when considered as a subset of the real numbers, with its usual ordering, represented by the real number line, every real number is both an upper and lower bound for the empty set.