Assertion: set's number | /r/HasProperty | an upper
Facets:
value: for the empty set
type: TRANSITIVE-OBJECT
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.