Integer numbers/Quotient set/NxN/Equivalence relation/Exercise

Show that the relation

$(a,b)\sim (c,d){\text{ if }}a+d=b+c,$

on ${}\mathbb {N} \times \mathbb {N}$ introduced in example is an equivalence relation.

Create a solution