Let $R$ be a transitive relation. Is the symmetric closure of $R$ also transitive?
2026-04-27 13:46:57.1777297617
Is the symmetric closure of a relation which is already transitive, itself transitive?
45 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
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$.