Assertion: colexicographical order | /r/CapableOf | define an order isomorphism
Facets:
value: between the natural numbers
type: OTHER
Source sentences:
text: For ordering finite subsets of a given cardinality of the natural numbers, the colexicographical order (see below) is often more convenient, because all initial segments are finite, and thus the colexicographical order defines an order isomorphism between the natural numbers and the set of sets of n natural numbers.