Assertion: set's element | /r/HasProperty | the supremum
Facets:
Source sentences:
text: If S contains a greatest element, then that element is the supremum; otherwise, the supremum does not belong to S (or does not exist).