>>501
それなら、a≦bの定義を
x_1 + y_2 ≦ y_1 + x_2
にすれば良い

(x_2=0のときにaが自然数x_1であるものとして答えたけど、それでいいんだよな?)