Assertion: colexicographical order | /r/CapableOf | induce an order isomorphism
Facets:
value: in other words
type: OTHER
value: with the natural numbers
type: OTHER
Source sentences:
text: In other words, the colexicographical order for increasing sequences of a given length induces an order isomorphism with the natural numbers, and allows enumerating these sequences.