Homework Statement
We define a relation ~ for N^2 by:
(n, m) ~(k, l) <=> n + l = m + k
Show that ~ is a equivalence relation
Homework Equations
A relation R on a set A is equivalent if R is:
reflexive if x R x for all x that is an element of A
symmetric if x R y implies y R x...