Assertion: real number's supremum | /r/HasProperty | irrational
Facets:
value: in the last example
type: OTHER
Source sentences:
text: In the last example, the supremum of a set of rationals is irrational, which means that the rationals are incomplete.