Is the symmetric closure of a relation which is already transitive, itself transitive?

45 Views Asked by At

Let $R$ be a transitive relation. Is the symmetric closure of $R$ also transitive?

1

There are 1 best solutions below

0
On BEST ANSWER

Counterexample, adapted from @amWhy's attempt based on an observation by @aefrrs: if $a\ne b\ne c\ne a$, the transitive relation $\{(a,\,b),\,(b,\,c),\,(a,\,c)\}$ has symmetric closure $\{(a,\,b),\,(b,\,c),\,(a,\,c),\,(b,\,a),\,(c,\,b),\,(c,\,a)\}$, which isn't transitive as it doesn't own $\{a,\,a\}$. As @NoahSchweber notes, a simpler example, whose transitivity is vacuous, is $\{(a,\,b)\}$ with $a\ne b$.