Assertion: real number's bound | /r/HasProperty | real number
Facets:
Source sentences:
text: \displaystyle \mathbb {R} } that has an upper bound has a least upper bound that is also a real number.