自然数の有限列(ai),(bj)に順序
(ai)≦(bj):⇔辞書式順序で(Σai,a1,a2,‥)≦(Σbj,b1,b2,‥)
で定め、有限列の集合SからNへの全単射fをf((ai)):=#{(bj) | (bj)≦(ai) }で定める