>>495
同値類としてつかってます・・(x_1 x_2)、(y_1 y_2)∈N^2について
演算〜を
(x_1 x_2)〜(y_1 y_2)⇔x_1＋y_2＝x_2＋y_1
を満たすものとします
<x_1 x_2>＝{(a b)∈N^2| (a b)〜(x_1 x_2)}

と使いました