Assertion: real number | /r/HasAspect | upper bound
Facets:
Source sentences:
text: The immediate implications of the least upper bound property is that if $ S $ is a non-empty subset of the reals that has an upper bound, then the least upper bound of $ S $ is the maximum element in $ S $ if it exists.