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 natural numbers.