Assertion: real number | /r/HasProperty | blue circles
Facets:
Source sentences:
text: A of real numbers (blue circles), a set of upper bounds of A (red diamond and circles), and the smallest such upper bound, that is, the supremum of A (red diamond).