Assertion: set's member | /r/HasProperty | upper bound
Facets:
Source sentences:
text: Since the empty set has no members, when it is considered as a subset of any ordered set, then every member of that set will be an upper bound and lower bound for the empty set.