Assertion: real number's bound | /r/HasProperty | element
Facets:
Source sentences:
text: A lower bound of a subset S of a partially ordered set (P,≤) is an element a of P such that