本筋とはずれるけど、

>(a,a)≡(0,0)で生成される同値関係≡

ってどういうこと？「生成される」の意味がわからん。
その言い方で

(a,b)≡(c,d)　⇔　a+d = b+d

の言い換えになってるの？