Assertion: euclidean space's property | /r/HasProperty | established
Facets:
Source sentences:
text: Since the possible values of f are well-ordered, this property can be established by proving that f (r) < f (b) for any r ∉ I with minimal value of f (r) in its class.