Assertion: lexicographical order | /r/HasProperty | defined
Facets:
value: more precisely
type: DEGREE
Source sentences:
text: Specifically, given two partially ordered sets A and B, the lexicographical order on the Cartesian product A × B is defined as
text: More precisely, whereas the lexicographical order between two sequences is defined by