Assertion: algebra's set | /r/HasAspect | a least member
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.