Assertion: lexicographical order | /r/HasProperty | ordered
Facets:
value: totally
type: DEGREE
Source sentences:
text: This generalized lexicographical order is a total order if each factor set is totally ordered.