The document shows that the relation R, where xRy if x + y is even, is an equivalence relation on the integers. It is shown to be reflexive because any integer added to itself is even. It is symmetric because if x + y is even, then y + x is also even. It is transitive because if x + y and y + z are even, then x + z is the sum of even numbers and is therefore even as well.