Assertion: set's value | /r/HasProperty | ordered
Facets:
value: by the product
type: OTHER
Source sentences:
text: It being understood that each parameter's possible values are ordered according to the restriction of the ordering of L to L α , so this definition involves transfinite recursion on α .
text: The values of n -tuples of parameters are well-ordered by the product ordering.