『Ｒ上の関係ｒを
ｒ={(ｘ,ｙ)∈Ｒ^2:ｘ-ｙ=2ｎπ for some ｎ∈Ｚ}
で定義する。ｒがＲ上の同値関係であることを示せ。
ｒによるＲの商集合をＲ/2πＺと表し、ｘ∈Ｒの同値類をｘ(mod 2π)とｙ(mod 2π)の和を
ｘ(mod 2π)+ｙ(mod 2π)=ｘ+ｙ(mod 2π)
により定義する。この和は、well-definedであり、(Ｒ/2πＺ,+)は、可換群になることを示せ。
（Ｒ:実数、Ｚ:整数）』
この問題の解き方が全くわかりません。どなたか教えてくれる方いませんか？