定義
n ≧ 1 を整数とする。
(Z+)^n を Z+（>>71）の n 個の直積集合とする。
a = (a_i) と b = (b_i) を (Z+)^n の元とする。
a ≠ b のとき k = min{i；a_i ≠ b_i} が定まる。
a_k ＜ b_k のとき a ＜ b と書く。
a = b または a ＜ b のとき a ≦ b と書く。