Assertion: set's element | /r/HasSubevent | smaller number
Facets:
Source sentences:
text: For instance, the positive real numbers ℝ+ (not including 0) does not have a minimum, because any given element of ℝ+ could simply be divided in half resulting in a smaller number that is still in ℝ+.