On $\Bbb Z$ consider the relation $xRy \Leftrightarrow x-y \not\equiv 0 \mod 3$.

Prove (with explanation), whether the relation reflexive, symmetric, antisymmetric transitive is and prove if they are equivalence relation or order relation

I have computed:

1) Reflexive NO

2) Symmetric YES

3) Antisymmetric NO (I'm not sure here)

4) Transitive YES ( I'm not sure here as well)

Is this a good solution? If not, can you explain where the mistake is?


Your relation can be rewritten as $xRy \Leftrightarrow x \not\equiv y \mod 3$. Note that $4R2$, $2R1$, yet $4 \not R 1$, so $R$ is NOT transitive.

Concerning antisymmetry, assume that $xRy, x \ne y$. It is obvious, then, that $yRx$, which shows that, indeed, $R$ is NOT antisymmetric (because $\equiv$ is), as you suspected. The other two are fine, as well.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.