Assertion: set's element | /r/HasProperty | the infimum
Facets:
value: more generally
type: DEGREE
value: for the set
type: OTHER
Source sentences:
text: If S contains a least element, then that element is the infimum; otherwise, the infimum does not belong to S (or does not exist).
text: More generally, if a set has a smallest element, then the smallest element is the infimum for the set.