定義
>>74により ≦ は (Z+)^n の全順序である
これを (Z+)^n の辞書式順序と言う。