[Math] Discrete Math Relations on the set {1, 2, 3}

discrete mathematics

I was just to make sure that I am doing these correctly. Here is what I have:

1. Describe a binary relation on 1,2,3 that is reflexive and symmetric, but not transitive:
And I have: {(1,1), (2,2), (3,3)} it is obviously reflexive and I figured this would be true that it is symmetric as well.

2. Binary relation on 1,2,3 that is reflexive and transitive, but neither symmetric or antisymmetric:
My answer: {(1,1), (2,2), (3,3), (1,2), (2,3), (2,1)}

3. Binary relation on 1,2,3 that is antisymmetric and transitive, but not reflexive:
My answer: {(1,2), (2,3), (1,3)}

Help is very much appreciated. Thank you

Best Answer

$1$. The function you gave is symmetric, transitive and reflexive.

For a function that is symmetric, reflexive but not transitive take $\{(1,1),(2,2),(3,3),(1,2),(2,1),(2,3),(3,2)\}$

$2$. the function you gave is not transitive since we have $(1,2)$ and $(2,3)$ but not $(1,3)$.

For an example that works take $(1,1),(2,2),(3,3),(1,2),(2,3),(1,3),(1,3)$. So just add $(1,3)$ to make it transitive and it works.

$3$. your example is good. You can also take $\emptyset$.

Related Question