Assertion: set | /r/HasProperty | upper bound
Facets:
value: for the collection of elements
type: CAUSE
Source sentences:
text: The set {x, y} is an upper bound for the collection of elements {{x}, {y}}.