Assertion: set's element | /r/HasProperty | upper bound of a
Facets:
value: in p
type: LOCATION
value: for a subset a of p
type: OTHER
Source sentences:
text: Upper and lower bounds: For a subset A of P, an element x in P is an upper bound of A
text: A greatest element of P is an upper bound of P itself, and a least element is a lower bound of P.