Assertion: set | /r/HasProperty | minimal upper bounds
Facets:
Source sentences:
text: Yet, neither is ℝ+ smaller than ℤ nor is the converse true: both sets are minimal upper bounds but none is a supremum.