Assertion: lexicographical order | /r/CapableOf | define order
Facets:
Source sentences:
text: The lexicographical order defines an order on a Cartesian product of ordered sets, which is a total order when all these sets are themselves totally ordered.