Assertion: real number's bound | /r/HasProperty | maximum element
Facets:
value: in $ s
type: OTHER
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.