By definition, (a,b)∈R if and only if a,b∈A for some A∈P.
Let us describe the equivalence relation R. It follows that for i∈N we have that a,b∈{±i} if and only if ∣a∣=∣b∣=i . Therefore, a,b∈{±i} for some i∈N if and only if ∣a∣=∣b∣ .
We conclude that (a,b)∈R if and only if ∣a∣=∣b∣.
Comments