Let be the set of integers Define a binary relation on by declaring that if and only if for some non-negative integer .

Is an equivalence relation? Prove that it is, or explain which parts of the definition of equivalence relation do not hold.