Assertion: ordered set | /r/HasProperty | complete
Facets:
Source sentences:
text: A totally ordered set is said to be complete if every nonempty subset that has an upper bound, has a least upper bound.