Assertion: algebra's set | /r/HasProperty | empty
Facets:
Source sentences:
text: Unlike the rationals however the reals have the completeness property, that the set of all upper bounds of any nonempty set of reals is either empty or has a least member, needed for convergent sequences to have a limit to converge to.
text: Here X may be any set: empty, finite, infinite, or even uncountable.