Consider the relation $S$ on $\mathbb N$ defined by $x S d \iff 3 | (d-x)$. Prove:

i. $S$ is symmetric.

ii. $S$ is reflexive.

iii. and $S$ transitive.

Therefore $S$ is an equivalence relation.

Online Latex Math Formula Editor