Assertion: colexicographical order | /r/CapableOf | allow enumerating sequence
Facets:
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.