Assertion: real number's bound | /r/HasProperty | an element b of p
Facets:
value: similarly
type: DEGREE
Source sentences:
text: Similarly, an upper bound of a subset S of a partially ordered set (P,≤) is an element b of P such that