Assertion: lexicographical order | /r/HasProperty | determined by their values
Facets:
value: for two such functions
type: OTHER
Source sentences:
text: The functions from a well-ordered set X to a totally ordered set Y may be identified with sequences indexed by X of elements of Y. They can thus be ordered by the lexicographical order, and for two such functions f and g, the lexicographical order is thus determined by their values for the smallest x such that f(x) ≠ g(x).