3
$\begingroup$

For an example relation $R$ on $\{1,2\}$ of $\{(1,1), (2,2)\}$.

This relation is reflexive, but is it also symmetric and transitive?

It appears to be symmetric because $(1,1)$ is present as is $(1,1)$, and $(2,2)$ is present as is $(2,2)$, in other words, if $x = 1$ and $y = 1$, then $(x,y)$ is present and $(y,x)$ is present.

Following from that, it also appears to be transitive because for $x = 1, y = 1$ and $z = 1$, $(x,y)$ is present, $(y,z)$ is present, and so is $(x,z)$.

Is there some restriction on symmetric and transitive relations in that the elements of the ordered pair cannot be equal?

  • 0
    If a relation is reflexive, symmetric and transitive it is an equivalence relation. This means that it splits the base set into disjoint subsets (equivalence classes) in which every element is related to itself and every other element in the class to which it belongs. Can you see equivalence classes in this case?2011-07-15

1 Answers 1