# Set Theory Relations

Given set $A={1, 2, 3}$ consider the following relation on $A$

$R=\{(1, 1), (2, 1), (3, 3), (3, 2)\}$

Which one of the following statements are true

1. $R$ is antisymmetric and transitive
2. $R$ is antisymmetric but not transitive
3. $R$ is not transitive and not antisymmetric
4. $R$ is reflexive and antisymmetric

I have 4 as the answer, because:

• $R$ is reflexive: $(1, 1), (3, 3)$
• $R$ is antisymmetric: $(2, 1), (3, 2)$ are in $R$ but not $(1, 2), (2, 3)$

But there may also be a case for transitivity because of $(2, 1), (3, 2)$

I'm at a bit of a loss really

-
$R$ is not reflexive since $(2,2) \notin R$. It is not transitive since $(3,2), (2,1) \in R$, but $(3,1)\notin R$. – Prahlad Vaidyanathan Sep 2 '13 at 18:06
Also, I think you are confusing antisymmetry "$(x,y), (y,x)\in R \Longrightarrow x=y$" with asymmetry "$(x,y)\in R \Longrightarrow (y,x)\notin R$". That said, it is still true that $R$ is antisymmetric. – walcher Sep 2 '13 at 18:11

The relation is not reflexive because $(2,2)\notin R$. Remember that the definition of reflexivity is that $(a,a)\in R$ for all $a\in A$.
Also, the relation is not transitive, because $(3,2)\in R$ and $(2,1)\in R$, but $(3,1)\notin R$.
Finally, a relation is antisymmetric if the conditions $(a,b)\in R$ and $(b,a)\in R$ imply $a=b$. Is this true in the $R$ you've given?
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}