Assertion: set's element | /r/HasProperty | lower bound of p.
Facets:
Source sentences:
text: A greatest element of P is an upper bound of P itself, and a least element is a lower bound of P.